From 2eb89ac7ca3d2e069462cbb23c02e6a9195983e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 16:58:00 +0000
Subject: Formatting

---
 generic/proof-utils.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index b9a516f6..18ca1db8 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -501,14 +501,14 @@ frame is the one showing the script buffer.)"
 
 (defun proof-message (&rest args)
   "Issue the message ARGS in the response buffer and display it."
-    (pg-response-display-with-face (apply 'concat args))
-    (proof-display-and-keep-buffer proof-response-buffer))
+  (pg-response-display-with-face (apply 'concat args))
+  (proof-display-and-keep-buffer proof-response-buffer))
 
 (defun proof-warning (&rest args)
   "Issue the warning ARGS in the response buffer and display it.
 The warning is coloured with proof-warning-face."
-    (pg-response-display-with-face (apply 'concat args) 'proof-warning-face)
-    (proof-display-and-keep-buffer proof-response-buffer))
+  (pg-response-display-with-face (apply 'concat args) 'proof-warning-face)
+  (proof-display-and-keep-buffer proof-response-buffer))
 
 ;; could be a macro for efficiency in compiled code
 (defun proof-debug (&rest args)
-- 
cgit v1.2.3