From 272ffaba374008cdd53a24ca218c94fbe682887b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 15:31:18 +0000
Subject: Reorganization of menus: made a single menu but flattened Scripting
 submenu.

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

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 24ae9e5e..6e9f7f0a 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1514,7 +1514,7 @@ before and after sending the command."
 (easy-menu-define proof-shell-mode-menu
 		  proof-shell-mode-map
 		  "Menu used in Proof General shell mode."
-		  (cons proof-general-name (cdr proof-shell-menu)))
+		  (cons proof-general-name proof-shell-menu))
 
 
 
-- 
cgit v1.2.3