diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.ml | 4 |
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 |