- WS

diff --git a/main.cc b/main.cc
index f110c44aec6e70089aee5a7edef1fcc971f70ae3..694660ba10a7dc5390c36da22681ccafbb73e8fb 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -32,18 +32,18 @@ static char *opt_arg = NULL;
 static int opt_ind = 1;
 
 static const mbo_opt_struct OPTIONS[] =
-    {
-        mbo_opt_struct('?', 0, "help"),
-        mbo_opt_struct('b', 0, "bit-vectors"),
-        mbo_opt_struct('e', 0, "ecb"),
-        mbo_opt_struct('h', 0, "help"),
-        mbo_opt_struct('s', 0, "nested-ifs"),
+{
+       mbo_opt_struct('?', 0, "help"),
+       mbo_opt_struct('b', 0, "bit-vectors"),
+       mbo_opt_struct('e', 0, "ecb"),
+       mbo_opt_struct('h', 0, "help"),
+       mbo_opt_struct('s', 0, "nested-ifs"),
        mbo_opt_struct('f', 0, "storable-state"),
-        mbo_opt_struct('o', 1, "output"),
-        mbo_opt_struct('v', 0, "version"),
-        mbo_opt_struct('V', 0, "vernum"),
-        mbo_opt_struct('-', 0, NULL) /* end of args */ 
-    };
+       mbo_opt_struct('o', 1, "output"),
+       mbo_opt_struct('v', 0, "version"),
+       mbo_opt_struct('V', 0, "vernum"),
+       mbo_opt_struct('-', 0, NULL) /* end of args */
+};
 
 static void usage()
 {