Fix too long lines

Halbaroth · Aug 23, 2023 · 718e936 · 718e936
1 parent 68a7dd7
commit 718e936
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
@@ -1450,7 +1450,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)
@@ -1469,7 +1471,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)