balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix cli

Browse Source
This commit is contained in:
Galfour 2019-06-03 11:07:24 +00:00
parent 8c81432281
commit b65c9ca67f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/bin/cli.ml
View File

@ -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