From 2732a87ca18d997e45d971e7d79b6aaa1717dee6 Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@gmail.com>
Date: Thu, 2 Dec 2021 09:19:35 +0100
Subject: [PATCH] Fix CLI doc

---
 compiler/utils/cli.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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