fix #421 with solution 1

1 files changed, 2 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index dacf117f..593a6f45 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1905,7 +1905,8 @@ the proof shell without asking the user for
 confirmation (assuming she agreed already on switching the active
 scripting buffer). This is needed to ensure the load path is
 correct in the new scripting buffer."
-  (proof-shell-exit t))
+  (unless proof-shell-exit-in-progress
+    (proof-shell-exit t)))
 
 
 (add-hook 'proof-deactivate-scripting-hook