From ee53106260209cd41f6eb014458f8ec37664453d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 15:33:44 +0000
Subject: Next round of fixups for font-lock and x-symbol.

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

(limited to 'isa')

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 767df53a..c18ea0a7 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -297,7 +297,7 @@
    (cons (concat "\353\\?'" isa-idx "\350") 'isabelle-tvar-name-face)
    (cons (concat "\354" isa-id "\350") 'isabelle-free-name-face)
    (cons (concat "\355" isa-id "\350") 'isabelle-bound-name-face)
-   (cons (concat "\356" "\\?" isa-idx "\350") 'isabelle-var-name-face)
+   (cons (concat "\356\\?" isa-idx "\350") 'isabelle-var-name-face)
    (cons (concat "\357" isa-idx "\350") 'proof-declaration-name-face)
    )
   "*Font-lock table for Isabelle terms.")
-- 
cgit v1.2.3