diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 2f84648d..d2e78cab 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2287,7 +2287,7 @@ This is intended as a value for proof-activate-scripting-hook" :style toggle :selected proof-x-symbol-enable] ["Function menu" function-menu - :active (foundp 'function-menu)] + :active (fboundp 'function-menu)] "----") proof-shared-menu) "The menu for the proof assistant.") |