From f21bfc51f73bb984403b8aa5d3b263530a4bf14b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 17:14:50 +0000
Subject: Removed proof-shell-completed added to eval-when-compile by mistake.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 58a45a40..f15bc477 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -38,10 +38,12 @@
 	  '(proof-shell-ready-prover
 	    proof-start-queue
 	    proof-shell-live-buffer
-	    proof-shell-invisible-command
-	    proof-shell-proof-completed)))
+	    proof-shell-invisible-command)))
 ;; proof-response-buffer-display now in proof.el, removed from above.
 
+;; FIXME: *variable* proof-shell-proof-completed is declared in proof-shell
+;; and used here.  Should be moved to proof.el or removed from here.
+
 ;;
 ;;  Internal variables used by script mode
 ;;
-- 
cgit v1.2.3