4.02 compat

This commit is contained in:
Jeremie Dimino 2018-02-13 19:04:21 +00:00
parent a1f70209bf
commit 77ef63773f
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ let info_internal { ppf; display; _ } str =
Format.pp_print_flush ppf ()
in
write ppf;
if display = Verbose then Format.kasprintf print_to_console "%t" write
if display = Verbose then print_to_console (Format.asprintf "%t" write)
let info t str =
match t with