From 0e9d06327d1f8a150235da595e9ad076a53ca9be Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 18 Jan 2011 10:36:42 +0000
Subject: Removing a debugging message.

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index d5ae9547..7b51443d 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -213,7 +213,6 @@ Leave point at END."
 (defun proof-safe-split-window-vertically ()
   (if (<= (window-height) (* 2 window-min-height))
       (enlarge-window (+ 3 (* 2 window-min-height))))
-  (message "ICI")
   (split-window-vertically))
 
 (defun proof-warn-if-unset (tag sym)
-- 
cgit v1.2.3