diff options
Diffstat (limited to 'src/expr/expr.cpp')
-rw-r--r-- | src/expr/expr.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp index 283467fa8..0170296be 100644 --- a/src/expr/expr.cpp +++ b/src/expr/expr.cpp @@ -77,7 +77,7 @@ bool Expr::operator<(const Expr& e) const { return *d_node < *e.d_node; } -uint64_t Expr::hash() const { +size_t Expr::hash() const { Assert(d_node != NULL, "Unexpected NULL expression pointer!"); return (d_node->isNull()); } |