diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 7cb5231e..a79b976a 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -21,6 +21,12 @@ +(eval-when-compile + (defvar proof-assistant-menu) ; defined by macro in proof-menu-define-specific + (defvar proof-mode-map)) + + + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; Miscellaneous commands |