Response freeze given non special buffer name (Trac #347)

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 875ecedc..19fef2a5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -307,7 +307,7 @@ Initially 1 because Coq initial state has number 1.")
   (proof-with-current-buffer-if-exists buffer
     (let ((newbuffer nil))
       (set-buffer buffer)
-      (setq newbuffer (proof-clone-buffer " response-freeze" erase))
+      (setq newbuffer (proof-clone-buffer "*response-freeze*" erase))
       (display-buffer-other-frame newbuffer))))
 
 (defun proof-store-response-win (&optional erase)