From 3b2c0bc25ceaa365257f3a47117a8c58e4bb1f82 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 20 Aug 1999 14:19:38 +0000
Subject: prefer proof-shell-interrupt-regexp over proof-shell-error-regexp  
 (interrupts may appear like error messages in Isabelle/Isar);

---
 generic/proof-shell.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic')

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)
-- 
cgit v1.2.3