From 2af6bf1960be1e59edc3a4110a4f632e3d4ea510 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Dec 2002 16:14:33 +0000
Subject: Buglet in proof-shell-ready-prover

---
 generic/proof-shell.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3f2e2e6a..3a8a97f2 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -152,7 +152,8 @@ No change to current buffer or point."
   (proof-shell-start)
   (unless (or (not proof-shell-busy)
 	      (eq queuemode proof-shell-busy)
-	      (member proof-shell-busy queuemode))
+	      (and (listp queuemode) 
+		   (member proof-shell-busy queuemode)))
     (error "Proof Process Busy!")))
 
 ;;;###autoload
-- 
cgit v1.2.3