1 files 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 *\\(("