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 135a1715..c00918dc 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -134,7 +134,7 @@ "\\)\\s-+\"\\(" isa-id "\\)\"\\s-*;")) (defcustom isa-goal-command-regexp - (concat "^" (proof-ids-to-regexp isa-keywords-goal)) + (proof-ids-to-regexp isa-keywords-goal) "Regular expression used to match a goal." :type 'regexp :group 'isabelle-config) |