diff options
Diffstat (limited to 'driver/main.ml')
| -rw-r--r-- | driver/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/main.ml b/driver/main.ml index 0a35df99a..199a7133e 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -88,7 +88,7 @@ module Options = Main_args.Make_options (struct end) let main () = - Format.set_formatter_out_channel stderr; + Formatmsg.set_output Format.err_formatter; try Arg.parse Options.list process_file usage; if !make_archive then begin |