diff options
Diffstat (limited to 'src/main/getopt.cpp')
| -rw-r--r-- | src/main/getopt.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index 4af882aa1..82214bed3 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -71,6 +71,7 @@ enum OptionValue { DEFAULT_EXPR_DEPTH, PRINT_EXPR_TYPES, UF_THEORY, + LAZY_DEFINITION_EXPANSION, INTERACTIVE, NO_INTERACTIVE };/* enum OptionValue */ @@ -119,6 +120,7 @@ static struct option cmdlineOptions[] = { { "default-expr-depth", required_argument, NULL, DEFAULT_EXPR_DEPTH }, { "print-expr-types", no_argument , NULL, PRINT_EXPR_TYPES }, { "uf" , required_argument, NULL, UF_THEORY }, + { "lazy-definition-expansion", no_argument, NULL, LAZY_DEFINITION_EXPANSION }, { "interactive", no_argument , NULL, INTERACTIVE }, { "no-interactive", no_argument , NULL, NO_INTERACTIVE }, { NULL , no_argument , NULL, '\0' } @@ -272,6 +274,10 @@ throw(OptionException) { } break; + case LAZY_DEFINITION_EXPANSION: + opts->lazyDefinitionExpansion = true; + break; + case INTERACTIVE: opts->interactive = true; opts->interactiveSetByUser = true; |