From: Tim King <taking@cs.nyu.edu>
Date: Sat, 27 Jan 2018 20:50:54 +0000 (-0800)
Subject: Removing an unused variable. Resolves CID 1172257. (#1542)
X-Git-Tag: cvc5-1.0.0~5344
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5738cc818be07331cc55c624b9fc5b0d733432a0;p=cvc5.git

Removing an unused variable. Resolves CID 1172257. (#1542)
---

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);