diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 15a44986..cb7020c6 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -98,7 +98,8 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) (or proof-mode-for-pbp (intern (concat assistant "-pbp-mode"))))) (all-xs-modes (append xs-std-modes xs-xtra-modes)) - (am-entry (list proof-xsym-extra-modes t xs-lang)) + (am-entry (list proof-xsym-extra-modes t + `(quote ,xs-lang))) (symmode-nm (concat assistant "sym-mode")) (symmode (intern symmode-nm)) (symnamevar (intern (concat xs-feature "-name"))) |