Make a minor modifications to Makefile and main.ml

1 files changed, 2 insertions, 2 deletions

diff --git a/src/main.ml b/src/main.ml
index c30c43f2..2502ac4d 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -55,8 +55,8 @@ let () =
         " Test the unit functions with the concrete interpreter" );
       ( "-test-trans-units",
         Arg.Set test_trans_units,
-        " Test the translated unit functions with the target theorem prover's \
-         normalizer" );
+        " Test the translated unit functions with the target theorem\n\
+        \                        prover's normalizer" );
     ]
   in
   let spec = Arg.align spec in