diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-26 17:41:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-26 17:41:39 +0000 |
| commit | 6139dafe7cc38c852d78e84492622aedb589062b (patch) | |
| tree | 6a059da486fd3becd3a84b5d2b96fb36bba966dc /generic | |
| parent | add6299da8e4fcbb2efa16d75b9126a536cdfca5 (diff) | |
Oops: has to be error to prevent killing, of course...
Diffstat (limited to 'generic')
| -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 e060d5af..e28241de 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -256,7 +256,7 @@ user accidently killing an associated buffer." (progn (let ((bufname (buffer-name))) (bury-buffer) - (message + (error "Warning: buffer %s not killed; still associated with prover process." bufname))))) |