From dcf5c4199e611fb696abb85166dcbd51031e2d01 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 08:39:50 +0000
Subject: Make C-c C-w appear on binding list

---
 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 69b26b58..c2f9a077 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -214,7 +214,7 @@ If in three window or multiple frame mode, display two buffers."
 	   ;;(proof-switch-to-buffer proof-trace-buffer)
 	   ;;:active (buffer-live-p proof-trace-buffer)])
 	   ["Clear Responses"
-	    (pg-response-clear-displays)
+	    pg-response-clear-displays
 	    :active (buffer-live-p proof-response-buffer)]))
   "Proof General buffer menu.")
 
-- 
cgit v1.2.3