From ef7b099bb91ac53770aab886a2051e0c1a1cd056 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 7 Oct 2014 14:35:28 +0200 Subject: 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. --- parsing/lexer.ml4 | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'parsing') 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); -- cgit v1.2.3