diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-22 16:50:43 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-10-22 16:50:52 +0200 |
| commit | 26b6fa7fe182083112c7eff080f5130556a08678 (patch) | |
| tree | 09c6276c3aff4a970a505dc6d5fd6954b3ba4fe6 /ide/coq_lex.mll | |
| parent | 56a5d78e8dfecb46f4453c632c50e3270f7271bb (diff) | |
CoqIDE: fix parsing of multicharacter bullets
Diffstat (limited to 'ide/coq_lex.mll')
| -rw-r--r-- | ide/coq_lex.mll | 2 |
1 files changed, 1 insertions, 1 deletions
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+ { |