From 556e84c80c3bf9a49cf300572c1854ed2f05597b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 09:42:02 +0000
Subject: Fixed up proof-shell-proof-completed mess nicely.

---
 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 ceefdd18..a4b0bf51 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -145,7 +145,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