From 2ea508d10a1004c335d16b76d73b77e09449ef49 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 22 Sep 1999 17:03:32 +0000
Subject: proof-completed-regexp: match number 1 is response text;

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

(limited to 'coq')

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
-- 
cgit v1.2.3