From a639b8d4122b583c61ad7a0f866b912b29bad77f Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 16 Sep 2019 19:06:39 -0500 Subject: [PATCH] Remove parameterized check (#3290) --- src/expr/node_builder.h | 10 ---------- 1 file changed, 10 deletions(-) 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::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 -- 2.30.2