From d719fa4ce2b99628f229d7a213025a690127c3a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 May 2002 13:31:10 +0000
Subject: Fix font lock for E21 (I hope)

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index eba356c8..b542f17b 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -393,7 +393,8 @@ Returns new END value."
 
 	  ;; ================================================
 	  (run-hooks 'proof-before-fontify-output-hook)
-	  (font-lock-default-fontify-region start end)
+	  ;; Emacs 21.1: add loudly flag below for font lock
+	  (font-lock-default-fontify-region start end nil)
 	  (proof-zap-commas-region start end))))
   (if proof-shell-leave-annotations-in-output
       ;; Remove special characters that were used for font lock,
-- 
cgit v1.2.3