From d0de06e3f8412da49f8423c211653e76437ee689 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 16:00:13 +0000
Subject: Removed debug instruction.

---
 generic/proof.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/generic/proof.el b/generic/proof.el
index a1bc4586..3348912e 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -306,7 +306,6 @@ Returns new END value."
 
 (defun proof-response-buffer-display (str &optional face)
   "Display STR with FACE in response buffer and return fontified STR."
-  (ugit str) ;; FIXME: debug!
   (let (start end)
     (with-current-buffer proof-response-buffer
       ;; da: I've moved newline before the string itself, to match
-- 
cgit v1.2.3