From 6edd24f269353274cc35313cb3852df6201d97fc Mon Sep 17 00:00:00 2001
From: lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 22 Mar 2007 01:16:42 +0000
Subject: Remove debugging code committed by accident

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9727 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/cdglobals.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools/coqdoc/cdglobals.ml')

diff --git a/tools/coqdoc/cdglobals.ml b/tools/coqdoc/cdglobals.ml
index c9620a6f1..c5abbff05 100644
--- a/tools/coqdoc/cdglobals.ml
+++ b/tools/coqdoc/cdglobals.ml
@@ -26,7 +26,6 @@ let out_to = ref MultFiles
 let out_channel = ref stdout
 
 let open_out_file f =
-  prerr_string f; prerr_newline();
   let f = if !output_dir <> "" && Filename.is_relative f then Filename.concat !output_dir f else f in
     out_channel := open_out f
 
-- 
cgit v1.2.3