diff options
-rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9b88475e..77e77a61 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -92,9 +92,9 @@ (concat "The menu for " proof-assistant) (cons proof-assistant (append - (proof-assistant-menu-entries) + (proof-ass menu-entries) '("----") - (proof-assistant-favourites) + (proof-ass favourites) '(["Add favourite" (call-interactively 'proof-add-favourite) t]) '("----") |