From 67735f434627c4bfbc0bedd9a64bb824581efde7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 17:38:23 +0000
Subject: Updated magic

---
 doc/PG-adapting.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 5bbfb093..65576185 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -1866,7 +1866,7 @@ Mark for goal.
 
 This setting is also used to see if proof-by-pointing features
 are configured.  If it is unset, some of the code 
-for parsing the is disabled.
+for parsing the prover output is disabled.
 @end defvar
 @c TEXI DOCSTRING MAGIC: proof-shell-field-char
 @defvar proof-shell-field-char 
-- 
cgit v1.2.3