From b6dfaf68d9e21313c97ee73751383f8235c46f08 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 10:46:53 +0000
Subject: Fix buglet in pgip eager annotation stripping.

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3f8273bd..c0be8922 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1353,7 +1353,7 @@ MESSAGE should be a string annotated with
 	   (string-match proof-shell-match-pgip-cmd message))
       (require 'pg-xml)
       (require 'pg-pgip)
-      (unless (string-match (match-string 0)
+      (unless (string-match (match-string 0 message)
 			    proof-shell-eager-annotation-start)
 	;; Assume that eager annotation regexps are _not_ part of PGIP
 	;; message, and strip them.  This allows hybrid PGIP/non PGIP
-- 
cgit v1.2.3