From 19c50038d90be840be9f99ddee4fd51c1098c045 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 30 Aug 2010 22:37:55 +0000
Subject: Response freeze given non special buffer name (Trac #347)

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

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