From b96c1c26a624ae0f290c7a7f1e0335d4f948b8b2 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 6 May 1998 15:56:14 +0000
Subject: Fixed problem introduced by working on emacs19 in
 proof-zap-commas-region.

---
 proof-fontlock.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/proof-fontlock.el b/proof-fontlock.el
index d195f856..3ef83c8e 100644
--- a/proof-fontlock.el
+++ b/proof-fontlock.el
@@ -4,6 +4,10 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 1.6  1998/05/06 15:56:14  hhg
+;; Fixed problem introduced by working on emacs19 in
+;; proof-zap-commas-region.
+;;
 ;; Revision 1.5  1998/05/05 14:25:45  hhg
 ;; Simple white-space changes.
 ;;
@@ -102,7 +106,7 @@
 	(if (memq (get-char-property (- (point) 1) 'face)
 		'(font-lock-declaration-name-face
 		  font-lock-function-name-face))
-;	    (font-lock-remove-face (- (point) 1) (point))
+	    (font-lock-remove-face (- (point) 1) (point))
 	    )))))
 
 (defun proof-zap-commas-buffer () 
-- 
cgit v1.2.3