Skip to content

Commit

Permalink
4.02 compat
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremie Dimino committed Feb 13, 2018
1 parent a1f7020 commit 77ef637
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/log.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 77ef637

Please sign in to comment.