From bc1a573407c03382bae50acedcd07b3efdfe9799 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 2 Apr 2018 21:07:54 -0500 Subject: [PATCH] chore: better error printing --- src/main/main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/main.ml b/src/main/main.ml index e1c6cf84..e3811dd9 100644 --- a/src/main/main.ml +++ b/src/main/main.ml @@ -162,13 +162,13 @@ let main () = let () = match main() with | E.Ok () -> () | E.Error msg -> - print_endline msg; + Format.printf "@{Error@}: %s@." msg; exit 1 | exception e -> let b = Printexc.get_backtrace () in begin match e with | Util.Error msg -> - print_endline msg; + Format.printf "@{Error@}: %s@." msg; ignore @@ exit 1 | Out_of_time -> Format.printf "Timeout@.";