Add std::hash overloads for Node, TNode and TypeNode. (#6534)

Eliminates NodeHashFunction, TNodeHashFunction and TypeNodeHashFunction.

2 files changed, 3 insertions, 3 deletions

diff --git a/src/printer/let_binding.cpp b/src/printer/let_binding.cpp
index 16fc4703c..a807b9d83 100644
--- a/src/printer/let_binding.cpp
+++ b/src/printer/let_binding.cpp
@@ -82,8 +82,8 @@ Node LetBinding::convert(Node n, const std::string& prefix, bool letTop) const
     return n;
   }
   NodeManager* nm = NodeManager::currentNM();
-  std::unordered_map<TNode, Node, TNodeHashFunction> visited;
-  std::unordered_map<TNode, Node, TNodeHashFunction>::iterator it;
+  std::unordered_map<TNode, Node> visited;
+  std::unordered_map<TNode, Node>::iterator it;
   std::vector<TNode> visit;
   TNode cur;
   visit.push_back(n);
diff --git a/src/printer/let_binding.h b/src/printer/let_binding.h
index abdf5985d..b67ceb129 100644
--- a/src/printer/let_binding.h
+++ b/src/printer/let_binding.h
@@ -87,7 +87,7 @@ namespace cvc5 {
 class LetBinding
 {
   using NodeList = context::CDList<Node>;
-  using NodeIdMap = context::CDHashMap<Node, uint32_t, NodeHashFunction>;
+  using NodeIdMap = context::CDHashMap<Node, uint32_t>;
 
  public:
   LetBinding(uint32_t thresh = 2);