diff options
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index a16417d1..b7cf4d5b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -579,7 +579,7 @@ the form of the menu entry for the setting.") ["Reset Settings" (proof-settings-reset) (proof-settings-changed-from-defaults-p)] ["Save Settings" (proof-settings-save) - (proof-settings-changed-from-saved-p)] + (proof-settings-changed-from-saved-p)])) ents) (while setgs (setq ents (cons |