diff options
author | 2004-09-21 23:06:22 +0000 | |
---|---|---|
committer | 2004-09-21 23:06:22 +0000 | |
commit | 60adb8b3c5d7bbad86e673f4b4eebcd8f00761a4 (patch) | |
tree | b30ba3787d20efb8b0ef7dfc16401c7cd29b1ea7 /generic | |
parent | 838cbe33a5caf6a1cad7372be249293103d87828 (diff) |
Fix bug in proof-debug for GNU Emacs
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
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)))))) |