From 6c60e195c68a30aab803d72fc216853583624bd3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:16:13 +0000
Subject: Change to font-lock support routines.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 068a3c34..7e10dcbc 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2360,7 +2360,7 @@ assistant."
   ;; Fontlock support.
   ;;
   ;; Assume font-lock case folding follows proof-case-fold-search
-  (proof-font-lock-configure-defaults proof-case-fold-search)
+  (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)
   
   ;; Hack for unfontifying commas (yuck)
   (remove-hook 'font-lock-after-fontify-buffer-hook 'proof-zap-commas-buffer t)
-- 
cgit v1.2.3