From 780f5242aabba41e133529327e53a8eba0fda02c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 12:17:59 +0000
Subject: Fix typo.

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index a16417d1..b7cf4d5b 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -579,7 +579,7 @@ the form of the menu entry for the setting.")
 			 ["Reset Settings" (proof-settings-reset) 
 			  (proof-settings-changed-from-defaults-p)]
 			 ["Save Settings" (proof-settings-save)
-			  (proof-settings-changed-from-saved-p)]
+			  (proof-settings-changed-from-saved-p)]))
 	    ents)
 	(while setgs
 	  (setq ents (cons 
-- 
cgit v1.2.3