From 6b5708fb416190525acde7f71b3324ccf8497144 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 15:06:49 +0000
Subject: Removed extra parenthesis.

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

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 90e4f2ec..ce98c1ce 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -117,7 +117,7 @@
   "*Font-lock table for Isabelle terms.")
 
 (defconst isa-save-command-regexp
-  (proof-anchor-regexp (proof-ids-to-regexp isa-keywords-save))))
+  (proof-anchor-regexp (proof-ids-to-regexp isa-keywords-save)))
 
 ;; CHECKED
 (defconst isa-save-with-hole-regexp
-- 
cgit v1.2.3