From 222c559e790c1fb54b265b30716e589ca53fb2bf Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 14 Jun 1999 15:28:26 +0000
Subject: Bugfixes in proof-shell-exit and proof-shell-kill-function

---
 generic/proof-shell.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 64fd86ba..719236a7 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -377,7 +377,8 @@ proof-shell-kill-function to do the hard work."
   (interactive)
   (if (buffer-live-p proof-shell-buffer)
       (if (yes-or-no-p (format "Exit %s process? " proof-assistant))
-	  (kill-buffer proof-shell-buffer)
+	  (progn (kill-buffer proof-shell-buffer)
+		 (setq proof-shell-buffer nil))
 	(error "No proof shell buffer to kill!"))))
 
 (defun proof-shell-bail-out (process event)
-- 
cgit v1.2.3