diff options
Diffstat (limited to 'generic/proof-unicode-tokens.el')
| -rw-r--r-- | generic/proof-unicode-tokens.el | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index b636eaa5..414d580c 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -45,12 +45,11 @@ (defun proof-unicode-tokens-configure () "Set the Unicode Tokens table from prover instances and initialise." (require 'unicode-tokens) ; load now, for unicode-tokens-configuration-variables - (mapcar - (lambda (var) ;; or defass? - (if (boundp (proof-ass-symv var)) - (set (intern (concat "unicode-tokens-" (symbol-name var))) - (eval `(proof-ass ,var))))) - unicode-tokens-configuration-variables) + (dolist (var unicode-tokens-configuration-variables) + (if (boundp (proof-ass-symv var)) + (set (intern (concat "unicode-tokens-" (symbol-name var) + "-variable")) + (proof-ass-symv var)))) (unicode-tokens-initialise)) |