From 6d929429e10fd6b719bb253ce129edd07da126b0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Sep 2009 14:50:24 +0000
Subject: Clean up hints about buffer display

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

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 820e1544..9e4d5e86 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -81,7 +81,7 @@ without adjusting window layout."
 	(if (eq selectedbuf proof-response-buffer)
 	    (set-window-point (get-buffer-window proof-response-buffer t)
 			      (point-max)))
-	(pg-hint (pg-response-buffers-hint (buffer-name nextbuf)))))))
+	(pg-response-buffers-hint (buffer-name nextbuf))))))
 
 
 
-- 
cgit v1.2.3