change docv

OCamlPro · Sep 12, 2023 · bd00af5 · bd00af5
1 parent 73b7ff0
commit bd00af5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -1438,7 +1438,7 @@ let parse_theory_opt =
 
 let parse_fmt_opt =
   let docs = s_fmt in
-  let docv = "CHANNEL" in
+  let docv = "OUTPUT" in
 
   let regular_output =
     let doc =