diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 07:51:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 07:51:14 +0000 |
| commit | 835a23242167d7f59a47f9f5295368b91e47daa6 (patch) | |
| tree | 38323132a37c512939713cc7c2943e5b087861ab /lego | |
| parent | f0df8411f3e080f3d0c33299711cb0c78f034e06 (diff) | |
Added new regexp for recognizing LEGO errors.
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) |