From 718e9362e3fd3d8bf474ba1aa107c92e7e8039d9 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Mon, 21 Aug 2023 07:15:31 +0200 Subject: [PATCH] Fix too long lines --- src/bin/common/parse_command.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml index 9ffb96aa1..9d09dca02 100644 --- 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"; ""]) 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"; ""]) 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)