diff --git a/compiler/utils/cli.ml b/compiler/utils/cli.ml index 21a4b2b2..487f6175 100644 --- a/compiler/utils/cli.ml +++ b/compiler/utils/cli.ml @@ -62,7 +62,9 @@ let backend = required & pos 0 (some string) None & info [] ~docv:"BACKEND" - ~doc:"Backend selection among: LaTeX, Makefile, Html, Interpret, OCaml, Dcalc, Scopelang") + ~doc: + "Backend selection among: Interpret, OCaml, Python, LaTeX, Makefile, Html, Dcalc, \ + Scopelang") type backend_option = Latex | Makefile | Html | Run | OCaml | Python | Dcalc | Scopelang