diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files 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 () |