From 31242de4b423d7225174dd1672edb2dacb68f5b8 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 12 May 2021 23:33:00 -0700
Subject: Add std::hash overloads for Node, TNode and TypeNode. (#6534)

Eliminates NodeHashFunction, TNodeHashFunction and TypeNodeHashFunction.
---
 src/theory/rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/rewriter.cpp')

diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp
index 2b2604593..1094d5920 100644
--- a/src/theory/rewriter.cpp
+++ b/src/theory/rewriter.cpp
@@ -199,7 +199,7 @@ Node Rewriter::rewriteTo(theory::TheoryId theoryId,
 
   if (d_rewriteStack == nullptr)
   {
-    d_rewriteStack.reset(new std::unordered_set<Node, NodeHashFunction>());
+    d_rewriteStack.reset(new std::unordered_set<Node>());
   }
 #endif
 
-- 
cgit v1.2.3