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;

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

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 4ba4586a..14f2b8f3 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -144,7 +144,7 @@
   "*Regular expression indicating that the proof of the current goal
   has been abandoned.")
 
-(defvar plastic-shell-proof-completed-regexp "\\*\\*\\* QED \\*\\*\\*"
+(defvar plastic-shell-proof-completed-regexp "\\(\\*\\*\\* QED \\*\\*\\*\\)"
   "*Regular expression indicating that the proof has been completed.")
 
 (defvar plastic-save-command-regexp
-- 
cgit v1.2.3