From 1d55df72cf08cf62269b09e874160ff2d2e937ac Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz <aymeric.fromherz@inria.fr>
Date: Wed, 6 Nov 2024 12:22:44 +0100
Subject: [PATCH] Correctly indent abort-on-error option description

---
 compiler/Main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/Main.ml b/compiler/Main.ml
index d78b9081..eae729a9 100644
--- 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 \