proof-completed-regexp: match number 1 is response text;

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index c1ee66b0..ddf037d7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -81,7 +81,7 @@
 (defvar coq-shell-abort-goal-regexp "Current goal aborted"
   "*Regexp indicating that the current goal has been abandoned.")
 
-(defvar coq-shell-proof-completed-regexp "Subtree proved!"
+(defvar coq-shell-proof-completed-regexp "\\(Subtree proved!\\)"
   "*Regular expression indicating that the proof has been completed.")
 
 (defvar coq-goal-regexp