diff options
| author | David Aspinall | 1999-07-03 15:06:49 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 15:06:49 +0000 |
| commit | 6b5708fb416190525acde7f71b3324ccf8497144 (patch) | |
| tree | 1aec2b36b7a57ad8d31acc58650baad979ee75e0 | |
| parent | 05b2dc061de6c629c9ca19da70da7cef4b2890ed (diff) | |
Removed extra parenthesis.
| -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 |