18 Jun
2016
18 Jun
'16
3:09 p.m.
--- mllib/common_utils.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mllib/common_utils.ml b/mllib/common_utils.ml index 64bf3d3..e54272c 100644 --- a/mllib/common_utils.ml +++ b/mllib/common_utils.ml @@ -366,11 +366,11 @@ let error ?(exit_code = 1) fs = let warning fs = let display str = - let chan = stderr in + let chan = stdout in ansi_blue ~chan (); wrap ~chan (sprintf (f_"%s: warning: %s") prog str); ansi_restore ~chan (); - prerr_newline (); + print_newline (); in ksprintf display fs -- 2.7.4