From 0c745889b8359fdf01e0e5c604e7e01b37bb2a8e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 16:37:37 +0000
Subject: More reorganizing of menus and keybindings with aim of usability in
 mind.

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

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 6e9f7f0a..9f8d2458 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1608,8 +1608,7 @@ before and after sending the command."
 (easy-menu-define proof-response-mode-menu
 		  proof-response-mode-map
 		  "Menu for Proof General response buffer."
-		  (cons proof-general-name
-			(cdr proof-shared-menu)))
+		  (cons proof-general-name proof-shared-menu))
 
 
 (provide 'proof-shell)
-- 
cgit v1.2.3