branch: elpa/proof-general
commit 30b882b8c3bad56257c6f6fcdb8a824bb612bec6
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>
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 "
