1 files changed, 1 insertions, 9 deletions
diff --git a/src/expr/node.h b/src/expr/node.h
index c1df399a1..d1bb8f3b3 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -219,14 +219,6 @@ public:
   bool isAtomic() const;
 
   /**
-   * Returns the hash value of this node.
-   * @return the hash value
-   */
-  size_t hash() const {
-    return d_nv->getId();
-  }
-
-  /**
    * Returns the unique id of this node
    * @return the ud
    */
@@ -420,7 +412,7 @@ namespace CVC4 {
 // for hash_maps, hash_sets..
 struct NodeHashFcn {
   size_t operator()(const CVC4::Node& node) const {
-    return (size_t) node.hash();
+    return (size_t) node.getId();
   }
 };