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