diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 1 insertions, 2 deletions
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) |