diff options
| author | David Aspinall | 2000-05-12 14:13:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 14:13:58 +0000 |
| commit | ed3be25af8677a6007073d512f9d2c0ba16d7657 (patch) | |
| tree | bcd96b13f51cbd239730a5db5bb3f018b15b9553 | |
| parent | 1953104c572613315a71fbc993b789e87d6e8fa8 (diff) | |
Fix to function name
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f94d96ec..72a229a5 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1924,7 +1924,11 @@ Arguments as for `defcustom', which see." "Return the value for SYM for the current prover." (eval `(proof-ass-sym ,sym))) -(defun proof-setass-default-fn (sym value) + +;; FIXME: consider combining this with proof-defasscustom? +;; In other words, only get a proof-assistant specific instance +;; if one is defined explicitly somehow? Probably not. +(defun proof-defass-default-fn (sym value) "Set default for the proof assistant specific variable <PA>-SYM to VALUE. This should be used in prover-specific code to alter the default values for prover specific settings." @@ -1941,7 +1945,7 @@ for prover specific settings." value))))) (defmacro proof-defass-default (sym value) - `(proof-setass-default-fn (quote ,sym) ,value)) + `(proof-defass-default-fn (quote ,sym) ,value)) |