diff options
author | 1999-11-17 14:09:26 +0000 | |
---|---|---|
committer | 1999-11-17 14:09:26 +0000 | |
commit | fffc80283aed0ff16596cbbc122de3fdb010cd53 (patch) | |
tree | 8dbd4f8ddc3b6fdea5b5a69f1e843de4e7921ec8 | |
parent | 1f3bc5756940a7d58b32a549624a0fd10d0f52fe (diff) |
Fix typo
-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.") |