From 1d239d53a2a59739e5cb63ed230e2d87f206b986 Mon Sep 17 00:00:00 2001
From: pad <yoann.padioleau@gmail.com>
Date: Wed, 5 Aug 2015 08:19:27 -0700
Subject: [PATCH] * main_codemap.ml: align options by default

---
 main_codemap.ml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/main_codemap.ml b/main_codemap.ml
index 45f359ae4..b501d4ef4 100644
--- a/main_codemap.ml
+++ b/main_codemap.ml
@@ -583,7 +583,7 @@ let all_actions () =
  extra_actions()@
  []
 
-let options () = [ 
+let options () = ([ 
   (*s: options *)
     "-screen_size", Arg.Set_int screen_size,
     " <int> (1 = small, 2 = big)";
@@ -603,7 +603,6 @@ let options () = [
     " <layer_file>";
     "-with_layers", Arg.String (fun s -> layer_dir := Some s),
     " <dir_with_layers>";
-
     "-filter", Arg.String (fun s -> filter := List.assoc s filters;), 
      spf " filter certain files (available = %s)" 
       (filters +> List.map fst +> Common.join ", ");
@@ -647,7 +646,7 @@ let options () = [
     exit 0;
   ), 
     " guess what";
-  ]
+  ]) |> Arg.align
 
 (*****************************************************************************)
 (* The main entry point *)
@@ -683,7 +682,7 @@ let main () =
     (* --------------------------------------------------------- *)
     (* empty entry *)
     (* --------------------------------------------------------- *)
-    | [] -> Arg.usage (Arg.align (options())) usage_msg; 
+    | [] -> Arg.usage (options()) usage_msg; 
     );
   )