diff options
author | 2014-10-07 14:35:28 +0200 | |
---|---|---|
committer | 2014-10-07 14:44:27 +0200 | |
commit | ef7b099bb91ac53770aab886a2051e0c1a1cd056 (patch) | |
tree | 29ef6963c648849454a4298047c4f9724b8b5e93 /parsing | |
parent | 376a6b66bf4c4181214bb86a07c4677f17112b4c (diff) |
Fixing #3687 (inconsistent lexer state after a bullet).
I forgot to tell that we are again at the beginning of a line after a
bullet.
Diffstat (limited to 'parsing')
-rw-r--r-- | parsing/lexer.ml4 | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4 index a78bbdcd9..18f57cdc6 100644 --- a/parsing/lexer.ml4 +++ b/parsing/lexer.ml4 @@ -502,10 +502,11 @@ let rec next_token = parser bp in (t, (bp,ep)) | [< ' ('-'|'+'|'*' as c); s >] -> - let t = - if !between_com then process_sequence bp c s else process_chars bp c s + let t,new_between_com = + if !between_com then process_sequence bp c s,true + else process_chars bp c s,false in - comment_stop bp; t + comment_stop bp; between_com := new_between_com; t | [< ''?'; s >] ep -> let t = parse_after_qmark bp s in comment_stop bp; (t, (ep, bp)) | [< ' ('a'..'z' | 'A'..'Z' | '_' as c); |