From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 17 Sep 2019 00:06:39 +0000 (-0500)
Subject: Remove parameterized check (#3290)
X-Git-Tag: cvc5-1.0.0~3945
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a639b8d4122b583c61ad7a0f866b912b29bad77f;p=cvc5.git

Remove parameterized check (#3290)
---

diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 4558f3720..d07790f92 100644
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -974,16 +974,6 @@ expr::NodeValue* NodeBuilder<nchild_thresh>::constructNV() {
          kind::metakind::getUpperBoundForKind(getKind()),
          getNumChildren());
 
-#if 0
-  // if the kind is PARAMETERIZED, check that the operator is correctly-kinded
-  Assert(kind::metaKindOf(getKind()) != kind::metakind::PARAMETERIZED ||
-         NodeManager::operatorToKind(getOperator()) == getKind(),
-         "Attempted to construct a parameterized kind `%s' with "
-         "incorrectly-kinded operator `%s'",
-         kind::kindToString(getKind()).c_str(),
-         kind::kindToString(getOperator().getKind()).c_str());
-#endif /* 0 */
-
   // Implementation differs depending on whether the NodeValue was
   // malloc'ed or not and whether or not it's in the already-been-seen
   // NodeManager pool of Nodes.  See implementation notes at the top