diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3c4bfc22..e7d73e2b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -840,14 +840,14 @@ This function - it can return one of 4 things: 'error, 'interrupt, should be inserted into the script buffer and sent back to the proof assistant." (cond + ((string-match proof-shell-interrupt-regexp string) + 'interrupt) + ((string-match proof-shell-error-regexp string) (cons 'error (proof-shell-strip-annotations (substring string (match-beginning 0))))) - ((string-match proof-shell-interrupt-regexp string) - 'interrupt) - ((and proof-shell-abort-goal-regexp (string-match proof-shell-abort-goal-regexp string)) (proof-clean-buffer proof-goals-buffer) |