coq-init-compile-response-buffer: handle killed buffer (Trac #408)

1 files changed, 1 insertions, 1 deletions

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