Remove parameterized check (#3290)

diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 4558f3720b9aa827d01547adc69c741e1810fac7..d07790f92353c0ed50ca579f2f31c9d9a8cb238f 100644 (file)
--- 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