From 83c06f5c51ac7b500e87b344f93840e9852eba91 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 18:17:24 +0100
Subject: Make a minor modifications to Makefile and main.ml

---
 src/main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3