From a716eb70607c0baf19f698cf5608282d18b619de Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 19 Oct 1999 16:33:06 +0000 Subject: Added uncaught exception to error-regexp --- isa/isa.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isa/isa.el b/isa/isa.el index 15b83226..c28aa0dc 100644 --- a/isa/isa.el +++ b/isa/isa.el @@ -164,7 +164,7 @@ no regular or easily discernable structure." proof-shell-cd "cd \"%s\"" ;; FIXME: the next two are probably only good for NJ/SML - proof-shell-error-regexp "^.*Error:\\|^\364\\*\\*\\*" + proof-shell-error-regexp "^.*Error:\\|^\364\\*\\*\\*\\|^uncaught exception " proof-shell-interrupt-regexp "Interrupt" ;; matches names of assumptions -- cgit v1.2.3