From 5c556ab725f7c53033eaf9f09db23eaddc80714b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 18:24:29 +0000
Subject: Make sure proof-shell-last-output, proof-shell-last-prompt and
 proof-shell-delayed-ouput remain non-nil.

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 5537398c..fd698f3d 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -61,7 +61,7 @@ See the functions `proof-start-queue' and `proof-exec-loop'.")
 ;; type, as well as a previous ("delayed") version to for when the end
 ;; of the queue is reached or an error or interrupt occurs.
 
-(defvar proof-shell-last-prompt nil
+(defvar proof-shell-last-prompt ""
   "A raw record of the last prompt seen from the proof system.
 This is the string matched by `proof-shell-annotated-prompt-regexp'.")
 
@@ -509,10 +509,10 @@ shell buffer, alled by `proof-shell-bail-out' if process exits."
 	proof-nesting-depth 0
 	proof-shell-error-or-interrupt-seen nil
 	proof-shell-silent nil
-	proof-shell-last-output nil
+	proof-shell-last-output ""
 	proof-shell-last-output-kind nil
-	proof-shell-last-prompt nil
-	proof-shell-delayed-output nil
+	proof-shell-last-prompt ""
+	proof-shell-delayed-output ""
 	proof-shell-delayed-output-kind nil))
 
 (defun proof-shell-exit ()
-- 
cgit v1.2.3