diff options
| -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 a78bbdcd98..18f57cdc66 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); |