diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-18 21:07:33 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-08-24 16:22:51 -0400 |
commit | 4fc241d26515113365024b5f4ae23086b366a623 (patch) | |
tree | 36ce9b14953b46d8c783e960f070ef524727cfa1 /src/expr | |
parent | 336b0317e5b668040e53f399ec097eb100b696c3 (diff) |
fix option alias (minor)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/options | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/options b/src/expr/options index ee4d40b2c..b4608832f 100644 --- a/src/expr/options +++ b/src/expr/options @@ -7,12 +7,12 @@ module EXPR "expr/options.h" Expression package option defaultExprDepth --default-expr-depth=N int :default 0 :predicate CVC4::expr::setDefaultExprDepth :predicate-include "expr/options_handlers.h" print exprs to depth N (0 == default, -1 == no limit) -undocumented-alias --expr-depth = --default-expr-depth +undocumented-alias --expr-depth=N = --default-expr-depth=N option defaultDagThresh default-dag-thresh --default-dag-thresh=N int :default 1 :predicate CVC4::expr::setDefaultDagThresh :predicate-include "expr/options_handlers.h" dagify common subexprs appearing > N times (1 == default, 0 == don't dagify) -undocumented-alias --dag-thresh = --default-dag-thresh -undocumented-alias --dag-threshold = --default-dag-thresh +undocumented-alias --dag-thresh=N = --default-dag-thresh=N +undocumented-alias --dag-threshold=N = --default-dag-thresh=N option - --print-expr-types void :handler CVC4::expr::setPrintExprTypes :handler-include "expr/options_handlers.h" print types with variables when printing exprs |