From 019d4311abdeaca9e9ddb5e7280abe3c3c4a9027 Mon Sep 17 00:00:00 2001 From: Galfour Date: Thu, 6 Jun 2019 09:30:29 +0000 Subject: [PATCH] binary hotfix --- 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 13ca1f970..7f66b7015 100644 --- a/src/bin/cli.ml +++ b/src/bin/cli.ml @@ -25,7 +25,7 @@ let entry_point = let docv = "ENTRY_POINT" in let doc = "$(docv) is entry-point that will be compiled." in info ~docv ~doc [] in - value @@ pos 1 string "main" info + required @@ pos 1 (some string) (Some "main") info let expression = let open Arg in @@ -39,7 +39,7 @@ let syntax = let info = let docv = "SYNTAX" in let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\" and \"cameligo\". \"pascaligo\" is the default." in - info ~docv ~doc [] in + info ~docv ~doc ["syntax" ; "s"] in value @@ opt string "pascaligo" info let compile_file =