Merge pull request #345 from AeneasVerif/afromher_misc

AeneasVerif · Nov 6, 2024 · 6377992 · 6377992
2 parents 271a8be + 1d55df7
commit 6377992
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/Main.ml b/compiler/Main.ml
@@ -120,7 +120,7 @@ let () =
       ("-print-llbc", Arg.Set print_llbc, " Print the imported LLBC");
       ( "-abort-on-error",
         Arg.Set fail_hard,
-        "Abort on the first encountered error" );
+        " Abort on the first encountered error" );
       ( "-tuple-nested-proj",
         Arg.Set use_nested_tuple_projectors,
         " Use nested projectors for tuples (e.g., (0, 1).snd.fst instead of \