From b65c9ca67f18c93e1c0d3c2fbd468653dcd9b6c9 Mon Sep 17 00:00:00 2001
From: Galfour <gabriel.alfour@gmail.com>
Date: Mon, 3 Jun 2019 11:07:24 +0000
Subject: [PATCH] fix cli

---
 src/bin/cli.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bin/cli.ml b/src/bin/cli.ml
index 81480236e..13ca1f970 100644
--- a/src/bin/cli.ml
+++ b/src/bin/cli.ml
@@ -4,8 +4,8 @@ open Trace
 let toplevel x =
   match x with
   | Trace.Ok ((), annotations) -> ignore annotations; ()
-  | Errors ss ->
-      Format.printf "Errors: %a\n%!" errors_pp @@ List.map (fun f -> f()) ss
+  | Error ss ->
+      Format.printf "%a%!" error_pp (ss ())
 
 let main =
   let term = Term.(const print_endline $ const "Ligo needs a command. Do ligo --help") in