From 72f28356298709f79cf4f91ad031d72c8aa4234b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 18:28:55 +0000
Subject: Make sure proof-shell-last-output is non-nil

---
 generic/pg-vars.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index ec673ed6..e402fb98 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -166,7 +166,7 @@ of the proof (starting from 1).")
 ;; compile warnings
 ;;
 
-(defvar proof-shell-last-output nil
+(defvar proof-shell-last-output ""
   "A record of the last string seen from the proof system.
 This is raw string, for internal use only.")
 
-- 
cgit v1.2.3