From 57462910dbcf4706e7ba2eaa5936f4a5e9a73056 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 Jun 2011 22:19:59 +0000
Subject: coq-init-compile-response-buffer: handle killed buffer (Trac #408)

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 61799b4e..5daab334 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1271,7 +1271,7 @@ create a buffer with name `coq-compile-response-buffer-name', put
 it into `compilation-mode' and store it in
 `coq-compile-response-buffer' for later use. Argument COMMAND is
 the command whose output will appear in the buffer."
-  (if (bufferp coq-compile-response-buffer)
+  (if (buffer-live-p coq-compile-response-buffer)
       (let ((inhibit-read-only t))
         (with-current-buffer coq-compile-response-buffer
           (erase-buffer)))
-- 
cgit v1.2.3