diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 19:06:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-16 19:06:39 -0500 |
| commit | a639b8d4122b583c61ad7a0f866b912b29bad77f (patch) | |
| tree | 229fe2bab78154800f408f73d5bd0cf3ed2f1939 | |
| parent | 0688b1fd9519ec90e9e9a825f7211faa6f13b11d (diff) | |
Remove parameterized check (#3290)
| -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 |