diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index ee53103d82..2b07ca4c9f 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -473,7 +473,7 @@ let update_on_end_of_proof id = prerr_endline "Toggling Changing Reset id"; r := false end - | { ast = _, (VernacAbort _ | VernacAbortAll | VernacGoal_) } -> raise Exit + | { ast = _, (VernacAbort _ | VernacAbortAll | VernacGoal _) } -> raise Exit | _ -> () in try Stack.iter lookup_lemma processed_stack with Exit -> () |