From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 19 Jul 2014 01:07:33 +0000 (-0400)
Subject: fix option alias (minor)
X-Git-Tag: cvc5-1.0.0~6650
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4fc241d26515113365024b5f4ae23086b366a623;p=cvc5.git

fix option alias (minor)
---

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