From 1238764f2bc4ff6dcfa697f05cbf76f7c67c7837 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 24 Sep 2006 15:31:15 +0000
Subject: Tweaks to buffer history mode.  Still intermediate version.

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

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 887d2b95..f2b76f48 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -287,7 +287,7 @@ user accidently killing an associated buffer."
   (if (and (proof-shell-live-buffer) proof-buffer-type)
       (progn
 	(let ((bufname (buffer-name)))
-	  (erase-buffer)
+	  (bufhist-erase-buffer)
 	  (set-buffer-modified-p nil)
 	  (bury-buffer)
 	  (error
-- 
cgit v1.2.3