diff options
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 67df7e54..af568f53 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -693,7 +693,7 @@ beginning of the entity's region." (defcustom proof-lift-global nil "This function lifts local lemmas from inside goals out to top level. This function takes the local goalsave span as an argument. Set this -to `nil' of the proof assistant does not support nested goals." +to `nil' if the proof assistant does not support nested goals." :type 'function ;; FIXME customize broken on choices with function in them? ;; :type '(choice (const :tag "No local lemmas" nil) (function)) |