From afc087182a5b44f08de1c90d84293648c35ecc5c Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 26 Jun 2008 14:02:04 +0000
Subject: Oubli lors de la révision #11177

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11179 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/index.mll | 3 +--
 tools/coqdoc/output.ml | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/coqdoc/index.mll b/tools/coqdoc/index.mll
index e4d464236a..9daec6b554 100644
--- a/tools/coqdoc/index.mll
+++ b/tools/coqdoc/index.mll
@@ -407,8 +407,7 @@ and module_refs = parse
       { module_refs lexbuf }
   | ident  
       { let id =  lexeme lexbuf in
-	  (Printf.eprintf "DEBUG: id = %s\n" id; 
-	   try
+	  (try
 	     add_mod !current_library (lexeme_start lexbuf) (Hashtbl.find modules id) id
 	   with
 	       Not_found -> ()
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index a75b7196d6..a5378e9df1 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -443,7 +443,6 @@ module Html = struct
       printf "</span>"
     end else 
       begin
-	Printf.eprintf "DEBUG: looking for (%s, %d)\n" !current_module loc;
 	try
 	  (match Index.find !current_module loc with
 	     | Def (fullid,_) -> 
-- 
cgit v1.2.3