From 4478e1c5c4d37f4127cdb9fe0701edb6de5b9f62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 15:34:25 +0000
Subject: Fix for automode list

---
 generic/proof-x-symbol.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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")))
-- 
cgit v1.2.3