diff options
Diffstat (limited to 'toplevel/stm.ml')
| -rw-r--r-- | toplevel/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index 70343c216e..6b4c46d4ec 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -981,7 +981,7 @@ let join_aborted_proofs () = let view = VCS.visit id in match view.step with | `Qed ((_,VtDrop,_),eop) -> - observe eop; Proof_global.discard_all (); aux view.next + Future.purify observe eop; aux view.next | `Sideff _ | `Alias _ | `Cmd _ | `Fork _ | `Qed _ -> aux view.next in aux (VCS.get_branch_pos VCS.master) |