From 666dbb093b09c37941cfb856cdf96fda09c3bac9 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 11 Aug 2014 16:37:29 +0200
Subject: Quick fix for avoiding infinitely many respawning and Warning "Coq
 died" when coqtop or coqtopide.cmxs are in inconsistent state.

---
 ide/coqOps.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3