diff options
| author | David Aspinall | 2002-08-15 23:52:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-15 23:52:10 +0000 |
| commit | 04b46d595cee0a616be4278cbac5a6683ab086d6 (patch) | |
| tree | 7c27a09559cef8dc0f13cf22869f980d8ca040e7 /generic/proof-utils.el | |
| parent | 58da4a61d5cbb998710e85b8bb5e2911ce6cdec2 (diff) | |
Refactoring
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index af357b4a..b9a516f6 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -495,7 +495,7 @@ frame is the one showing the script buffer.)" ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(. (erase-buffer) (if (eq buffer proof-response-buffer) - (setq proof-shell-next-error nil)) ; all error msgs lost! + (setq pg-response-next-error nil)) ; all error msgs lost! (if proof-delete-empty-windows (delete-windows-on buffer t)))) |