diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index b1e8572bd3..274d9e46b0 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -360,13 +360,15 @@ let rewind coqtop count = Hashtbl.iter (fun id depth -> if List.mem id prev_proofs then begin - Pfedit.resume_proof (Util.dummy_loc,id); + Pfedit.suspend_proof (); + Pfedit.resume_proof (Util.dummy_loc,id); Pfedit.undo_todepth depth end) undo_ops; prerr_endline "OK for undos"; Option.iter (fun id -> if List.mem id prev_proofs then - Pfedit.resume_proof (Util.dummy_loc,id)) curprf; + Pfedit.suspend_proof (); + Pfedit.resume_proof (Util.dummy_loc,id)) curprf; prerr_endline "OK for focusing"; List.iter (fun id -> Pfedit.delete_proof (Util.dummy_loc,id)) |