diff options
-rw-r--r-- | src/expr/node_builder.h | 10 |
1 files changed, 0 insertions, 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<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 |