From af1e37834fca25210821a558b638e98309643293 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 3 Nov 1998 11:47:13 +0000
Subject: fixed bug with font-lock face names

---
 lego/lego-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lego')

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index 34608afb..64399546 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -64,7 +64,7 @@
 
    ; lambda binders
      (list (lego-decl-defn-regexp "[:|?]") 1
-	   ''proof-declaration-name-face)
+	   'proof-declaration-name-face)
 
      ; let binders
      (list lego-definiendum-alternative-regexp 1 'font-lock-function-name-face)
@@ -72,7 +72,7 @@
 
      ; Pi and Sigma binders
      (list (concat "[{<]\\s *\\(" lego-ids "\\)") 1
-	   ''proof-declaration-name-face)
+	   'proof-declaration-name-face)
    
      ;; Kinds
      (cons (concat "\\<Prop\\>\\|\\<Type\\s *\\(("
@@ -96,7 +96,7 @@
     lego-font-lock-terms
     (list
      (cons (proof-ids-to-regexp lego-keywords) 'font-lock-keyword-face)
-     (cons (proof-ids-to-regexp lego-tacticals) ''proof-tacticals-name-face)
+     (cons (proof-ids-to-regexp lego-tacticals) 'proof-tacticals-name-face)
      (list lego-goal-with-hole-regexp 2 'font-lock-function-name-face)
      (list lego-save-with-hole-regexp 2 'font-lock-function-name-face))))
      
-- 
cgit v1.2.3