Merge PR #12160: CoqIDE: Avoid invalidation of an iterator in insert callback

Reviewed-by: ppedrot

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/session.ml b/ide/session.ml
index b16af9c317..09391b7f50 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -151,7 +151,7 @@ let set_buffer_handlers
       else if it#has_tag Tags.Script.processed then Some old
       else if it#has_tag Tags.Script.error_bg then aux it it#backward_char
       else None in
-    aux it it in
+    aux it it#copy in
   let insert_cb it s = if String.length s = 0 then () else begin
     Minilib.log ("insert_cb " ^ string_of_int it#offset);
     let text_mark = add_mark it in