From 77ef63773f9ef38963403334d4bf119ca9964762 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 13 Feb 2018 19:04:21 +0000 Subject: [PATCH] 4.02 compat --- src/log.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/log.ml b/src/log.ml index b89f3bf5..55697230 100644 --- a/src/log.ml +++ b/src/log.ml @@ -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