From c2be1c070c874c23ddfadb3d90e686113873ae81 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Wed, 20 Oct 2004 08:54:58 +0000
Subject: fixed a problem with x-symbol not enables in script buffer

---
 generic/proof-script.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 92bf48e0..c60ced2b 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2604,7 +2604,9 @@ assistant."
   ;; Fontlock support.
   ;;
   ;; Assume font-lock case folding follows proof-case-fold-search
-  (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search))
+  (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)
+
+)
   
 
 
-- 
cgit v1.2.3