diff options
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |