proof-deftoggle: add declare-function to prevent compiler warnings

1 files changed, 5 insertions, 1 deletions

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index bc487e86..53140629 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -520,7 +520,11 @@ It was constructed with `proof-deftoggle-fn'.")
 The toggle function uses `customize-set-variable' to change the variable.
 OTHERNAME gives an alternative name than the default <VAR>-toggle.
 The name of the defined function is returned."
-  `(proof-deftoggle-fn (quote ,var) (quote ,othername)))
+  `(progn
+     (declare-function ,(if othername othername
+			  (intern (concat (symbol-name var) "-toggle")))
+		       "proof-utils")
+     (proof-deftoggle-fn (quote ,var) (quote ,othername))))
 
 (defun proof-defintset-fn (var &optional othername)
   "Define a function <VAR>-intset for setting an integer customize setting VAR.