Oubli lors de la révision #11177

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/trunk@11179 85f007b7-540e-0410-9357-904b9bb8a0f7

Author: notin

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 -> ()

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,_) ->