From 835a23242167d7f59a47f9f5295368b91e47daa6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 8 Mar 2000 07:51:14 +0000 Subject: Added new regexp for recognizing LEGO errors. --- lego/lego-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lego') 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) -- cgit v1.2.3