diff options
| author | David Aspinall | 2009-09-06 18:24:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 18:24:29 +0000 |
| commit | 5c556ab725f7c53033eaf9f09db23eaddc80714b (patch) | |
| tree | 6327c4a59548e67d114a3c8fc964b43369eae50f /generic | |
| parent | 15c696ba81fdb5fe14397cff80e2ec01fbaccc48 (diff) | |
Make sure proof-shell-last-output, proof-shell-last-prompt and
proof-shell-delayed-ouput remain non-nil.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 5537398c..fd698f3d 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -61,7 +61,7 @@ See the functions `proof-start-queue' and `proof-exec-loop'.") ;; type, as well as a previous ("delayed") version to for when the end ;; of the queue is reached or an error or interrupt occurs. -(defvar proof-shell-last-prompt nil +(defvar proof-shell-last-prompt "" "A raw record of the last prompt seen from the proof system. This is the string matched by `proof-shell-annotated-prompt-regexp'.") @@ -509,10 +509,10 @@ shell buffer, alled by `proof-shell-bail-out' if process exits." proof-nesting-depth 0 proof-shell-error-or-interrupt-seen nil proof-shell-silent nil - proof-shell-last-output nil + proof-shell-last-output "" proof-shell-last-output-kind nil - proof-shell-last-prompt nil - proof-shell-delayed-output nil + proof-shell-last-prompt "" + proof-shell-delayed-output "" proof-shell-delayed-output-kind nil)) (defun proof-shell-exit () |