diff options
Diffstat (limited to 'lego/lego-syntax.el')
-rw-r--r-- | lego/lego-syntax.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index f9fb52d2..9d770a43 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -34,9 +34,8 @@ (defconst lego-tacticals '("Then" "Else" "Try" "Repeat" "For")) ;; ----- regular expressions for font-lock -(defvar lego-error-regexp "^\\(Error\\|Lego parser\\)" - "A regular expression indicating that the LEGO process has - identified an error.") +(defconst lego-error-regexp "^\\(Error\\|Lego parser\\)" + "A regular expression indicating that the LEGO process has identified an error.") (defvar lego-id proof-id) |