diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 2c9468cd..6bf9e53e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -505,8 +505,8 @@ Args as for the macro `proof-deftoggle', except will be evaluated." `(defun ,(if othername othername (intern (concat (symbol-name var) "-toggle"))) (&optional arg) ,(concat "Toggle `" (symbol-name var) "'. With ARG, turn on iff ARG>0. -This function simply uses customize-set-variable to set the variable. -It was constructed with `proof-deftoggle-fn'.") +This function simply uses customize-set-variable to set the variable.") +; It was constructed with `proof-deftoggle-fn'." (interactive "P") (customize-set-variable (quote ,var) |