Help formatting.

diffblue · Aug 13, 2018 · 215ab5d · 215ab5d
1 parent d938e3e
commit 215ab5d
Showing 1 changed file with 7 additions and 8 deletions.
diff --git a/src/2ls/2ls_parse_options.cpp b/src/2ls/2ls_parse_options.cpp
@@ -1773,14 +1773,13 @@ void twols_parse_optionst::help()
     " --heap                       use heap domain\n"
     " --zones                      use zone domain\n"
     " --octagons                   use octagon domain\n"
-    " --heap-interval              use heap domain with interval domain for"
-      "values\n"
-    " --heap-zones                 use heap domain with zones domain for values"
-      "\n"
-    " --heap-values-refine         use heap domain with a dynamically"
-      "refinement of the strength of the value domain\n"
-    " --sympath                    compute invariant for each symbolic path"
-      "(only usable with --heap-interval switch)"
+    " --heap-interval              use heap domain with interval domain for\n"
+    "                              values\n"
+    " --heap-zones                 use heap domain with zones domain for values\n" // NOLINT(*)
+    " --heap-values-refine         use heap domain with a dynamic refinement\n"
+    "                              of strength of the value domain\n"
+    " --sympath                    compute invariant for each symbolic path\n"
+    "                              (only usable with --heap-* switches)\n"
     " --enum-solver                use solver based on model enumeration\n"
     " --binsearch-solver           use solver based on binary search\n"
     " --arrays                     do not ignore array contents\n"