From 527463db94b95e136637709561e07e59f06298c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jan 2012 16:52:25 +0000
Subject: proof-shell-start-goals-regexp: shy match to avoid introducing match
 group

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 768e8c6e..7e547d68 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1296,7 +1296,7 @@ This is specific to `coq-mode'."
    proof-shell-result-start "\372 Pbp result \373"
    proof-shell-result-end "\372 End Pbp result \373"
 
-   proof-shell-start-goals-regexp          "^\\((dependent evars:[^)]*)\\s-+\\)?[0-9]+ subgoals?"
+   proof-shell-start-goals-regexp          "^\\(?:(dependent evars:[^)]*)\\s-+\\)?[0-9]+ subgoals?"
    proof-shell-end-goals-regexp
    (if coq-hide-additional-subgoals
        (setq proof-shell-end-goals-regexp coq-end-goals-regexp-hide-subgoals)
-- 
cgit v1.2.3