From 927f89b85a3e8a0a565ae1faed08e7fb0b13b3b9 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 24 Jan 2003 12:40:57 +0000
Subject: removed some garbage printing in coq/

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

diff --git a/coq/coq.el b/coq/coq.el
index 0022e2c4..201cfca1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -261,19 +261,6 @@ toplevel \"Coq <\". Returns nil if yes. This assumes that no
           ;; we need to set the "master reset" command which
           ;; subsumes the others, but still count the depth.
           (decf proof-nesting-depth))
-        (message "debut")
-        (message (concat "0=" (match-string 0 str)))
-        (message (concat "1=" (match-string 1 str)))
-        (message (concat "2=" (match-string 2 str)))
-        (message (concat "3=" (match-string 3 str)))
-        (message (concat "4=" (match-string 4 str)))
-        (message (concat "5=" (match-string 5 str)))
-        (message (concat "6=" (match-string 6 str)))
-        (message (concat "7=" (match-string 7 str)))
-        (message (concat "8=" (match-string 8 str)))
-        (message "fin")
-
-
         (if (equal (match-string 2 str) "Type") ;Module Type id: take the third word
             (progn 
               (setq ans (format coq-forget-id-command (match-string 5 str))))
-- 
cgit v1.2.3