diff options
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)))))) |