From 3a3c4b06cb2f684d5c514c59683a79d3426c5541 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 21 Jun 1999 11:55:31 +0000
Subject: unkillable buffer bugfix

---
 generic/proof-shell.el | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 719236a7..cb5aaca8 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -364,9 +364,13 @@ exited by hand (or exits by itself)."
 	    proof-shell-proof-completed nil)
       ;; Kill buffers associated with shell buffer
       (if (buffer-live-p proof-goals-buffer)
-	  (kill-buffer proof-goals-buffer))
+	  (progn 
+	    (kill-buffer proof-goals-buffer)
+	    (setq proof-goals-buffer nil)))
       (if (buffer-live-p proof-response-buffer)
-	  (kill-buffer proof-response-buffer))
+	  (progn 
+	    (kill-buffer proof-response-buffer)
+	    (setq proof-response-buffer nil)))
       (message "%s exited." bufname))))
 
 (defun proof-shell-exit ()
-- 
cgit v1.2.3