[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.

1 files changed, 5 insertions, 2 deletions

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