1 files changed, 0 insertions, 1 deletions
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