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