From 1a22706c2784554f89aba784ec4a52b30b97435d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 9 Jun 2000 09:36:01 +0000
Subject: proof-shell-error-regexp;

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

diff --git a/isar/isar.el b/isar/isar.el
index 1fe73c16..a412e6d1 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -233,7 +233,7 @@
 
    proof-shell-proof-completed-regexp   nil     ; n.a.
    proof-shell-interrupt-regexp         "\364\\*\\*\\* Interrupt\\|\360Interrupt"
-   proof-shell-error-regexp		"^\364\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- "
+   proof-shell-error-regexp		"\364\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- "
    proof-shell-abort-goal-regexp        nil     ; n.a.
 
    ;; matches names of assumptions
-- 
cgit v1.2.3