From 65b9bef3869aac3ecb7f70d776f8aea137e42367 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 23 Sep 1998 11:10:30 +0000
Subject: Error regular expression also matches warnings from Isabelle

---
 isa/isa-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index e01104b7..11d75de9 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -100,7 +100,7 @@
 
 ;; this should come from isa-ml-compiler stuff.
 (defcustom isa-error-regexp 
-  "^.*Error:\\|^\\*\\*\\*"
+  "^.*Error:\\|^\\*\\*\\*\\|^\\#\\#\\#"
   "A regexp indicating that Isabelle has identified an error."
   :type 'string
   :group 'isa-syntax)
-- 
cgit v1.2.3