diff options
Diffstat (limited to 'src/expr/metakind_template.h')
| -rw-r--r-- | src/expr/metakind_template.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 96152d075..fda2801be 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -199,7 +199,6 @@ inline bool NodeValueConstCompare<k, pool>::compare(const ::CVC4::expr::NodeValu if(x->d_nchildren == 1) { Assert(y->d_nchildren == 0); return compare(y, x); - return *reinterpret_cast<T*>(x->d_children[0]) == y->getConst<T>(); } else if(y->d_nchildren == 1) { Assert(x->d_nchildren == 0); return x->getConst<T>() == *reinterpret_cast<T*>(y->d_children[0]); |