From 60adb8b3c5d7bbad86e673f4b4eebcd8f00761a4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 21 Sep 2004 23:06:22 +0000
Subject: Fix bug in proof-debug for GNU Emacs

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index a2d1c8e2..c195b264 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -607,7 +607,7 @@ If proof-show-debug-messages is nil, do nothing."
 	    (display-warning 'proof-general formatted 'info)
 	  ;; otherwise use response buffer with dedicated font, & display it
 	  (progn
-	    (pg-response-display-with-face 'proof-debug-message-face)
+	    (pg-response-display-with-face formatted 'proof-debug-message-face)
 	    (proof-display-and-keep-buffer proof-response-buffer))))))
 
 
-- 
cgit v1.2.3