From f191f66776f6d0f43014e2d9a5b4933375bce903 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 13:56:05 +0000
Subject: Remove comment

---
 generic/proof-utils.el | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 90dcf852..6251630e 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -473,7 +473,6 @@ The warning is coloured with proof-warning-face."
 	(display-warning 'proof-general formatted)
     (message formatted))))
 
-;; could be a macro for efficiency in compiled code
 (defun proof-debug (msg &rest args)
   "Issue the debugging message (format MSG ARGS) in the response buffer, display it.
 If proof-general-debug is nil, do nothing."
@@ -481,7 +480,6 @@ If proof-general-debug is nil, do nothing."
       (let ((formatted (apply 'format msg args)))
 	(display-warning 'proof-general formatted 'info))))
 
-
 ;; Utility used in the "Buffers" menu, and throughout
 (defun proof-switch-to-buffer (buf &optional noselect)
   "Switch to or display buffer BUF in other window unless already displayed.
-- 
cgit v1.2.3