diff options
| -rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 0 insertions, 1 deletions
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) |