From 3ad5b68d86d94d77d3d9f93854da244f895c1c2e Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Mon, 25 Aug 1997 09:19:29 +0000
Subject: minor change in font-lock pattern

---
 lego.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lego.el b/lego.el
index d959bdbf..ad0e6246 100644
--- a/lego.el
+++ b/lego.el
@@ -4,7 +4,7 @@
 ;; code.
 
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
-;; Time-stamp: <12 Dec 96 tms /home/tms/elisp/lego.el>
+;; Time-stamp: <01 Mar 97 tms /home/tms/elisp/lego.el>
 ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall,
 ;;           James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens  
 
@@ -290,7 +290,7 @@
 
      ; Pi and Sigma binders
      (list (concat "[{<]\\s *\\(" lego-ids "\\)") 1
-	   'font-lock-declaration-name-face)
+	   'font-lock-declaration-name-face t)
    
      ;; Kinds
      (cons (concat "\\<Prop\\>\\|\\<Type\\s *\\(("
-- 
cgit v1.2.3