From 22d7dccdd23603d07975799a159623223cb31095 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 30 Dec 2014 14:07:21 +0000
Subject: removed debug message.

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

(limited to 'coq/coq-indent.el')

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 352931c0..da73f808 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -327,7 +327,6 @@ command end regexp."
                             (not (coq-empty-command-p)))
                         nil)
                       (and
-                       (message "ICI")
                        (goto-char foundend)
                        (proof-buffer-syntactic-context))))
         ;; go back as far as possible before the start of the current
-- 
cgit v1.2.3