diff options
| author | David Aspinall | 1998-11-03 18:40:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 18:40:32 +0000 |
| commit | adef137ed74f4dd5577a32def2c9492496b0dffc (patch) | |
| tree | 60088ab3ed4364298a7c23c4afa948bbd10a0e7b /generic/proof-shell.el | |
| parent | aa0f7e754ef127564062b5fb48b9f6c9be5957ad (diff) | |
Being pedantic about variables versus predicates, renamed prog-name-ask-p.
Diffstat (limited to 'generic/proof-shell.el')
| -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 5c86180c..d3bc5bc0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -175,7 +175,7 @@ Does nothing if proof assistant is already running." () (run-hooks 'proof-pre-shell-start-hook) (setq proof-included-files-list nil) - (if proof-prog-name-ask-p + (if proof-prog-name-ask (save-excursion (setq proof-prog-name (read-shell-command "Run process: " proof-prog-name)))) |