diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-11-30 22:33:28 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-11-30 22:33:28 +0000 |
| commit | 98d113e88556f05d4486b784e3bc96b37cd35d56 (patch) | |
| tree | 918e278bcf195eb4821c9007e957768e575f2169 /src/expr/options | |
| parent | 3a49733d841b7f2a1c13c430b83a4c5d5d3a7a53 (diff) | |
Updating the combination.cpp example.
Diffstat (limited to 'src/expr/options')
| -rw-r--r-- | src/expr/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/options b/src/expr/options index 24810962e..cd59e4875 100644 --- a/src/expr/options +++ b/src/expr/options @@ -7,7 +7,7 @@ module EXPR "expr/options.h" Expression package option defaultExprDepth --default-expr-depth=N int :predicate CVC4::expr::setDefaultExprDepth :predicate-include "expr/options_handlers.h" print exprs to depth N (0 == default, -1 == no limit) -option - --default-dag-thresh=N argument :handler CVC4::expr::setDefaultDagThresh :handler-include "expr/options_handlers.h" +option - default-dag-thresh --default-dag-thresh=N argument :handler CVC4::expr::setDefaultDagThresh :handler-include "expr/options_handlers.h" dagify common subexprs appearing > N times (1 == default, 0 == don't dagify) option - --print-expr-types void :handler CVC4::expr::setPrintExprTypes :handler-include "expr/options_handlers.h" print types with variables when printing exprs |