diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-27 12:50:54 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-27 12:50:54 -0800 |
| commit | 5738cc818be07331cc55c624b9fc5b0d733432a0 (patch) | |
| tree | 339e8da4e66b5c57a69881628cbbfe6e6f8b56cd /src/expr/expr_manager_template.cpp | |
| parent | 3faf345fa77c92f91e18f007f95b4ffa0758c17b (diff) | |
Removing an unused variable. Resolves CID 1172257. (#1542)
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
| -rw-r--r-- | src/expr/expr_manager_template.cpp | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index 951b92e1c..3993fc9b6 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -372,18 +372,11 @@ Expr ExprManager::mkExpr(Kind kind, Expr child1, } Expr ExprManager::mkExpr(Expr opExpr) { - const unsigned n = 0; - Kind kind = NodeManager::operatorToKind(opExpr.getNode()); + const Kind kind = NodeManager::operatorToKind(opExpr.getNode()); PrettyCheckArgument( opExpr.getKind() == kind::BUILTIN || kind::metaKindOf(kind) == kind::metakind::PARAMETERIZED, opExpr, "This Expr constructor is for parameterized kinds only"); - PrettyCheckArgument( - n >= minArity(kind) && n <= maxArity(kind), kind, - "Exprs with kind %s must have at least %u children and " - "at most %u children (the one under construction has %u)", - kind::kindToString(kind).c_str(), - minArity(kind), maxArity(kind), n); NodeManagerScope nms(d_nodeManager); try { INC_STAT(kind); |