chore: fix invalid argument message

TendTo · Dec 5, 2023 · 53d84a4 · 53d84a4
1 parent 5b5f950
commit 53d84a4
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/dlinear/util/ArgParser.cpp b/dlinear/util/ArgParser.cpp
@@ -280,15 +280,15 @@ void ArgParser::validateOptions() {
     DLINEAR_INVALID_ARGUMENT("--precision",
                              "cannot be set to zero. Use --exhaustive instead."
                              "\n"
-                             "In order to support problems that may contain strict inequalities, dLinear4"
-                             "reduces the precision value (or delta) by a small amount, and any strict"
-                             "inequalities are de-strictified before being sent to the simplex solver. For"
+                             "In order to support problems that may contain strict inequalities, dLinear4 "
+                             "reduces the precision value (or delta) by a small amount, and any strict "
+                             "inequalities are de-strictified before being sent to the simplex solver. For "
                              "this reason, the precision must be strictly positive."
                              "\n"
-                             "If you are sure that your problem contains no strict inequalities (not just in"
-                             "the asserted formulas themselves, but in any conjunctive clause derived from"
-                             "them), or if you simply wish to run the algorithm to completion, use"
-                             "--exhaustive instead, and the precision value will be set to zero (but strict"
+                             "If you are sure that your problem contains no strict inequalities (not just in "
+                             "the asserted formulas themselves, but in any conjunctive clause derived from "
+                             "them), or if you simply wish to run the algorithm to completion, use "
+                             "--exhaustive instead, and the precision value will be set to zero (but stric t"
                              "inequalities will still be de-strictified)."
                              "\n"
                              "Hint: try --exhaustive in conjunction with --continuous-output "