From 21ae34f58807f6ee63b8df11599be289b872a380 Mon Sep 17 00:00:00 2001 From: helly Date: Thu, 21 Jul 2005 15:42:47 +0000 Subject: [PATCH] - Order --- main.cc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/main.cc b/main.cc index 142c90fb..026cca5e 100644 --- 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 */ -- 2.40.0