diff options
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))))) |