From ce1b3a6a7f3caca585c64cd9b15a4048442d8485 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:10:06 +0000
Subject: Missing paren

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 10a8c1a7..5100db40 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -2168,7 +2168,7 @@ Internal variable, setting this will have no effect!")
 	   (set-specifier default-toolbar-visible-p nil (current-buffer))
 	   ;; (set-specifier minibuffer (minibuffer-window) (current-buffer))
 	   (set-specifier has-modeline-p nil (current-buffer))
-	   (set-specifier menubar-visible-p nil (current-buffer))))
+	   (set-specifier menubar-visible-p nil (current-buffer)))))
     ;; Try to trigger re-display of goals/response buffers,
     ;; on next interaction.  
     ;; FIXME: would be nice to do the re-display here, rather
-- 
cgit v1.2.3