From a1f70209bff0a9200c58286d7b6d2e0a54e5d068 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Tue, 13 Feb 2018 18:52:58 +0000
Subject: [PATCH] Fix previous commit

---
 src/import.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/import.ml b/src/import.ml
index cbd5e484..1620ca48 100644
--- a/src/import.ml
+++ b/src/import.ml
@@ -588,5 +588,5 @@ module Fmt = struct
 end
 
 (* This is ugly *)
-let printer = ref prerr_endline
+let printer = ref (Printf.eprintf "%s%!")
 let print_to_console s = !printer s