proof-shell-start-goals-regexp: shy match to avoid introducing match group

1 files changed, 1 insertions, 1 deletions

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)