diff options
-rw-r--r-- | ide/session.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ide/session.ml b/ide/session.ml index 072ae61c6..47b747dae 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -160,7 +160,6 @@ let set_buffer_handlers end end in let delete_cb ~start ~stop = Minilib.log (Printf.sprintf "delete_cb %d %d" start#offset stop#offset); - cur_action := new_action_id (); let min_iter, max_iter = if start#compare stop < 0 then start, stop else stop, start in let text_mark = add_mark min_iter in |