prefer proof-shell-interrupt-regexp over proof-shell-error-regexp

  (interrupts may appear like error messages in Isabelle/Isar);

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)