diff options
| -rw-r--r-- | tools/coqdoc/cdglobals.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/coqdoc/cdglobals.ml b/tools/coqdoc/cdglobals.ml index c9620a6f1a..c5abbff05e 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 |