diff options
| author | David Aspinall | 2010-09-21 13:12:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-21 13:12:39 +0000 |
| commit | feaaf63b8465bce6fcfb3cae6c0e678d77851516 (patch) | |
| tree | 33fd3879f31c7f147b66491a3b20436407d46ce0 | |
| parent | 5bf9c024742e232774b3e4b5f74af29f38a46d4a (diff) | |
proof-deftoggle: add declare-function to prevent compiler warnings
| -rw-r--r-- | generic/proof-utils.el | 6 |
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. |