diff options
| -rw-r--r-- | ide/coqOps.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coqOps.ml b/ide/coqOps.ml index b242bd0922..e528666a49 100644 --- a/ide/coqOps.ml +++ b/ide/coqOps.ml @@ -732,7 +732,8 @@ object(self) method handle_reset_initial why = let action () = - if why = Coq.Unexpected then warning "Coqtop died badly. Resetting."; + if why = Coq.Unexpected then warning "Coqtop died badly. Resetting." + else (* clear the stack *) if Doc.focused document then Doc.unfocus document; while not (Doc.is_empty document) do |