From e103c97076f73fd8af7cce6623ee7421290619b0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 17:02:04 +0000
Subject: Fix docstring

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 625d5777..d0e553b6 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2103,7 +2103,7 @@ See documentation of proof-shell-start-char."
 
 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."
   :type 'character
   :group 'proof-goals)
 
-- 
cgit v1.2.3