- Order

diff --git a/main.cc b/main.cc
index 142c90fb1de5f587a463164b448a1446d849671a..026cca5e8e82b81aea5ef96ea6d5cd1c47b2df7c 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -21,6 +21,7 @@ char *outputFileName = 0;
 bool sFlag = false;
 bool bFlag = false;
 bool dFlag = false; 
+bool qFlag = false;
 bool bUsedYYAccept = false;
 unsigned int oline = 1;
 uint maxFill = 1;
@@ -37,12 +38,12 @@ static const mbo_opt_struct OPTIONS[] =
 {
        mbo_opt_struct('?', 0, "help"),
        mbo_opt_struct('b', 0, "bit-vectors"),
+       mbo_opt_struct('d', 0, "debug-output"),
        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('d', 0, "debug-output"),
+       mbo_opt_struct('h', 0, "help"),
        mbo_opt_struct('o', 1, "output"),
+       mbo_opt_struct('s', 0, "nested-ifs"),
        mbo_opt_struct('v', 0, "version"),
        mbo_opt_struct('V', 0, "vernum"),
        mbo_opt_struct('-', 0, NULL) /* end of args */