diff options
| -rw-r--r-- | toplevel/stm.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index 7e8f64a019..70343c216e 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -980,7 +980,8 @@ let join_aborted_proofs () = if id = initial_state_id then () else let view = VCS.visit id in match view.step with - | `Qed ((_,VtDrop,_),eop) -> observe eop; aux view.next + | `Qed ((_,VtDrop,_),eop) -> + observe eop; Proof_global.discard_all (); aux view.next | `Sideff _ | `Alias _ | `Cmd _ | `Fork _ | `Qed _ -> aux view.next in aux (VCS.get_branch_pos VCS.master) |