diff options
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |