From 8eb6472b00fbe3977f4b087d0de234d0edf9c6b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Wed, 29 Jan 2020 18:01:05 +0000 Subject: [PATCH] Updated some docs that did not include reasonligo / .religo yet --- src/bin/cli.ml | 2 +- src/bin/expect_tests/help_tests.ml | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/bin/cli.ml b/src/bin/cli.ml index 121c75a30..3356401b2 100644 --- a/src/bin/cli.ml +++ b/src/bin/cli.ml @@ -50,7 +50,7 @@ let req_syntax n = let open Arg in let info = let docv = "SYNTAX" in - let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\" and \"cameligo\". By default, the syntax is guessed from the extension (.ligo and .mligo, respectively)." in + let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\", \"cameligo\" and \"reasonligo\". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo respectively)." in info ~docv ~doc [] in required @@ pos n (some string) None info diff --git a/src/bin/expect_tests/help_tests.ml b/src/bin/expect_tests/help_tests.ml index 6e62c9cf1..06e877a32 100644 --- a/src/bin/expect_tests/help_tests.ml +++ b/src/bin/expect_tests/help_tests.ml @@ -517,8 +517,9 @@ let%expect_test _ = SYNTAX (required) SYNTAX is the syntax that will be used. Currently supported - syntaxes are "pascaligo" and "cameligo". By default, the syntax is - guessed from the extension (.ligo and .mligo, respectively). + syntaxes are "pascaligo", "cameligo" and "reasonligo". By default, + the syntax is guessed from the extension (.ligo, .mligo, .religo + respectively). OPTIONS --format=DISPLAY_FORMAT, --display-format=DISPLAY_FORMAT