From 4a65bc3d959aed79b60bc31854f1133a82dd154a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 6 Feb 2015 12:42:02 +0000
Subject: Removed a debugging message.

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

diff --git a/coq/coq.el b/coq/coq.el
index 99411145..90ec03f4 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2132,7 +2132,6 @@ buffer."
           ;; clean the response buffer from ultra-ugly underlined command line
           ;; parsed above. Don't kill the first \n
           (let ((inhibit-read-only t))
-            (message "YOUHOU")
             (when clean (delete-region (match-beginning 0) (match-end 0))))
           (when proof-shell-unicode ;; TODO: remove this (when...) when coq-8.3 is out.
             ;; `pos' and `len' are actually specified in bytes, apparently. So
-- 
cgit v1.2.3