diff options
| author | David Aspinall | 2002-11-20 12:17:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-20 12:17:59 +0000 |
| commit | 780f5242aabba41e133529327e53a8eba0fda02c (patch) | |
| tree | 464f11d38791e6deb99f3fc3f3f78fdec5c19b1f | |
| parent | 72559966a21d26c186b144a778007b2ffb67ec4d (diff) | |
Fix typo.
| -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 |