From b63abc6b93f458bc7a2a16b45b8941a34c25cb03 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Sat, 14 Jul 2018 11:28:16 +0100 Subject: [build] Build Coq and plugins with `-strict-sequence` Fixes #8067. This is becoming the default in many developments, so it makes sense to require it too, both for Coq and for Plugins. --- ide/gtk_parsing.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'ide') diff --git a/ide/gtk_parsing.ml b/ide/gtk_parsing.ml index 9f5c99244..d554bebdd 100644 --- a/ide/gtk_parsing.ml +++ b/ide/gtk_parsing.ml @@ -35,8 +35,11 @@ let find_word_start (it:GText.iter) = (Minilib.log "find_word_start: cannot backward"; it) else if is_word_char it#char then step_to_start it - else (it#nocopy#forward_char; - Minilib.log ("Word start at: "^(string_of_int it#offset));it) + else begin + ignore(it#nocopy#forward_char); + Minilib.log ("Word start at: "^(string_of_int it#offset)); + it + end in step_to_start it#copy -- cgit v1.2.3