1 files changed, 0 insertions, 5 deletions
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp
index b6348394c..2f84f018b 100644
--- a/src/expr/expr.cpp
+++ b/src/expr/expr.cpp
@@ -81,11 +81,6 @@ bool Expr::operator<(const Expr& e) const {
   return *d_node < *e.d_node;
 }
 
-size_t Expr::hash() const {
-  Assert(d_node != NULL, "Unexpected NULL expression pointer!");
-  return (d_node->hash());
-}
-
 Kind Expr::getKind() const {
   Assert(d_node != NULL, "Unexpected NULL expression pointer!");
   return d_node->getKind();