Fix too long lines

Halbaroth · Aug 21, 2023 · ae205e2 · ae205e2
1 parent 6f5ee8f
commit ae205e2
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -1436,7 +1436,9 @@ let parse_fmt_opt =
           models and unsat cores. Possible values are %s."
         (Arg.doc_alts ["stdout"; "stderr"; "<filename>"])
     in
-    let deprecated = "this option is deprecated. Please use --regular-output." in
+    let deprecated =
+      "this option is deprecated. Please use --regular-output."
+    in
     let regular_output =
       Arg.(value & opt (some' string) None & info ["regular-output"] ~docs
              ~doc ~docv)
@@ -1455,7 +1457,9 @@ let parse_fmt_opt =
          warning informations. Possible values are %s."
         (Arg.doc_alts ["stdout"; "stderr"; "<filename>"])
     in
-    let deprecated = "this option is deprecated. Please use --diagnostic-output." in
+    let deprecated =
+      "this option is deprecated. Please use --diagnostic-output."
+    in
     let diagnostic_output =
       Arg.(value & opt (some' string) None & info ["diagnostic-output"] ~docs
              ~doc ~docv)