From adef137ed74f4dd5577a32def2c9492496b0dffc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 18:40:32 +0000
Subject: Being pedantic about variables versus predicates, renamed
 prog-name-ask-p.

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

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 2b6bd70e..aa59381c 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -406,7 +406,7 @@ the hooks `proof-activate-scripting-hook' are run."
 ;;; This code is still required as of FSF Emacs 20.2.
 ;;;
 ;;; I think bothering with this just to give completion for
-;;; when proof-prog-name-ask-p=t is a big overkill!   - da.
+;;; when proof-prog-name-ask=t is a big overkill!   - da.
 ;;;	
 (defvar read-shell-command-map
   (let ((map (make-sparse-keymap 'read-shell-command-map)))
-- 
cgit v1.2.3