From abaffde166972c5a0f5fdad1be716304854e33f8 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 27 Jan 2017 11:14:22 +0100
Subject: Fixed indention of help.

---
 driver/Driver.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 411fd85d..3219b7b7 100755
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -271,8 +271,7 @@ Recognized source files:
   .i or .p       C source file that should not be preprocessed
   .cm            Cminor source file
   .s             Assembly file
-  .sx            Assembly file that must be preprocessed
-  .S             Assembly file that must be preprocessed
+  .S or .sx      Assembly file that must be preprocessed
   .o             Object file
   .a             Library file
 Processing options:
@@ -313,7 +312,8 @@ Code generation options: (use -fno-<opt> to turn off -f<opt>)
   -fsmall-const <n>  Set maximal size <n> for allocation in small constant area
   -falign-functions <n>  Set alignment (in bytes) of function entry points
   -falign-branch-targets <n>  Set alignment (in bytes) of branch targets
-  -falign-cond-branches <n>  Set alignment (in bytes) of conditional branches|} ^
+  -falign-cond-branches <n>  Set alignment (in bytes) of conditional branches
+|} ^
  target_help ^
  assembler_help ^
  linker_help ^
-- 
cgit