From 5ba799a4008066ce7d3b746a449f88b5bbb5ec5e Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Mon, 26 Oct 1998 16:06:06 +0000
Subject: *** empty log message ***

---
 lego/lego-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lego')

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index a70b627c..20b0a326 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -96,7 +96,7 @@
     lego-font-lock-terms
     (list
      (cons (ids-to-regexp lego-keywords) 'font-lock-keyword-face)
-     (cons (ids-to-regexp lego-tacticals) 'font-lock-tacticals-name-face)
+     (cons (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