diff options
| author | David Aspinall | 2004-03-02 22:41:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-02 22:41:21 +0000 |
| commit | b701394d956834f77db664cfec0c4c168c898416 (patch) | |
| tree | 5c9f72d8e60fb06216552b8f06822a80a341c6cf /generic/proof-menu.el | |
| parent | 5cb4c31ef95dae7ad9bc0cf0d33f9e9b6c4e6e04 (diff) | |
Fix a few compiler warnings
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d9992ff6..ea700deb 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -142,18 +142,18 @@ If in three window or multiple frame mode, display two buffers." ;;;###autoload (defun proof-menu-define-specific () (easy-menu-define - proof-assistant-menu - proof-mode-map + proof-assistant-menu + proof-mode-map (concat "The menu for " proof-assistant) (cons proof-assistant - (append - (proof-ass menu-entries) - '("----") - (or proof-menu-favourites - (proof-menu-define-favourites-menu)) - (or proof-menu-settings - (proof-menu-define-settings-menu)) - '("----") + (append + (proof-ass menu-entries) + '("----") + (or proof-menu-favourites + (proof-menu-define-favourites-menu)) + (or proof-menu-settings + (proof-menu-define-settings-menu)) + '("----") (list (vector (concat "Start " proof-assistant) |