diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index ffd80415..dd3d05c8 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -864,11 +864,11 @@ KEY is the optional key binding." proof-assistant-settings) (dolist (grp (reverse groups)) (let* ((gstgs (cl-mapcan (lambda (stg) - (if (eq (get (car stg) 'pggroup) grp) - (list stg))) - proof-assistant-settings)) + (if (eq (get (car stg) 'pggroup) grp) + (list stg))) + proof-assistant-settings)) (cmds (mapcar (lambda (stg) - (apply 'proof-menu-entry-for-setting stg)) + (apply #'proof-menu-entry-for-setting stg)) (reverse gstgs)))) (setq ents (if grp (cons (cons grp cmds) ents) |