From 6139dafe7cc38c852d78e84492622aedb589062b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Aug 2002 17:41:39 +0000
Subject: Oops: has to be error to prevent killing, of course...

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)))))
 
-- 
cgit v1.2.3