diff options
| author | David Aspinall | 2004-04-14 10:46:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 10:46:53 +0000 |
| commit | b6dfaf68d9e21313c97ee73751383f8235c46f08 (patch) | |
| tree | d997ed71cf9a2e2d84631d845fd41c9ead8dbe49 /generic | |
| parent | acd15627e674868023435efda702bded80c835d9 (diff) | |
Fix buglet in pgip eager annotation stripping.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |