[nongnu] elpa/proof-general 30b882b8c3 04/25: qrhl.el: Fixed regexp for errors

[ELPA Syncer]

branch: elpa/proof-general
commit 30b882b8c3bad56257c6f6fcdb8a824bb612bec6
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    qrhl.el: Fixed regexp for errors
---
 qrhl/qrhl.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 4a4c299b46..7eef34d06e 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -34,7 +34,7 @@
                   proof-shell-annotated-prompt-regexp 
"^\\(\\.\\.\\.\\|qrhl\\)> "
                   proof-script-comment-start-regexp "#"
                   proof-script-comment-end "\n"
-                  proof-shell-error-regexp "\\[ERROR\\]\\|Exception"
+                  proof-shell-error-regexp "^\\(\\[ERROR\\]\\|Exception\\)"
                   proof-undo-n-times-cmd "undo %s."
                   proof-find-and-forget-fn 'qrhl-find-and-forget
                   proof-shell-start-goals-regexp "^[0-9]+ 
subgoals:\\|^Goal:\\|^No current goal\\.\\|^In cheat mode\\.\\|^No focused 
goals (use "