From 26b6fa7fe182083112c7eff080f5130556a08678 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 22 Oct 2014 16:50:43 +0200
Subject: CoqIDE: fix parsing of multicharacter bullets

---
 ide/coq_lex.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coq_lex.mll')

diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll
index 74959c065..ca8e9c2db 100644
--- a/ide/coq_lex.mll
+++ b/ide/coq_lex.mll
@@ -68,7 +68,7 @@ and sentence initial stamp = parse
   | undotted_sep {
       (* Separators like { or } and bullets * - + are only active
 	 at the start of a sentence *)
-      if initial then stamp (utf8_lexeme_start lexbuf) Tags.Script.sentence;
+      if initial then stamp (utf8_lexeme_start lexbuf + String.length (Lexing.lexeme lexbuf) - 1) Tags.Script.sentence;
       sentence initial stamp lexbuf
     }
   | space+ {
-- 
cgit v1.2.3