diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:12:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:12:22 +0000 |
commit | f6e93d2ebdde09a3929e071bfe6a62992676f89c (patch) | |
tree | 285ad09e4657260e375cddb576e55e7cde31cf9a /generic/pg-pamacs.el | |
parent | 693c53bb867ead922124fe8c5621d947037327eb (diff) |
Make proof-assistant-settings follow currently available dynamic settings, and keep possibly customized variables bound. Closes Trac #387.
Diffstat (limited to 'generic/pg-pamacs.el')
-rw-r--r-- | generic/pg-pamacs.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 798e1e78..c8bac3a5 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -183,7 +183,7 @@ Usage: (defpgdefault SYM VALUE)" (error "defpacustom: missing :type keyword or wrong :type value")) ;; Error in case a defpacustom is repeated. - (when (assoc name proof-assistant-settings) + (when (assq name proof-assistant-settings) (error "defpacustom: Proof assistant setting %s re-defined!" name)) @@ -204,7 +204,7 @@ Usage: (defpgdefault SYM VALUE)" (proof-assistant-settings-cmd (quote ,name))))))) (setq proof-assistant-settings (cons (list name setting (eval type) descr) - (assq-delete-all name proof-assistant-settings))))) + proof-assistant-settings)))) ;;;###autoload (defmacro defpacustom (name val &rest args) |