Fixed up proof-shell-proof-completed mess nicely.

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index b67c42f5..a636a58f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -72,7 +72,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