diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-19 16:33:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-19 16:33:06 +0000 |
commit | a716eb70607c0baf19f698cf5608282d18b619de (patch) | |
tree | f833c2d23818827830cdcbfe58434e0b82936859 | |
parent | 4b4f1dff2a77e2f6547de34607a62356382a09d6 (diff) |
Added uncaught exception to error-regexp
-rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |