aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2014-10-07 14:35:28 +0200
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2014-10-07 14:44:27 +0200
commitef7b099bb91ac53770aab886a2051e0c1a1cd056 (patch)
tree29ef6963c648849454a4298047c4f9724b8b5e93 /parsing
parent376a6b66bf4c4181214bb86a07c4677f17112b4c (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.ml47
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);