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/decision/assertion_list.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/decision/assertion_list.h')

diff --git a/src/decision/assertion_list.h b/src/decision/assertion_list.h
index fdb4bb2d5..3e7a1fee8 100644
--- a/src/decision/assertion_list.h
+++ b/src/decision/assertion_list.h
@@ -97,7 +97,7 @@ class AssertionList
   /** The list of assertions */
   std::vector<TNode> d_dlist;
   /** The set of assertions for fast membership testing in the above vector */
-  std::unordered_set<TNode, TNodeHashFunction> d_dlistSet;
+  std::unordered_set<TNode> d_dlistSet;
   /** The index of the next assertion to satify */
   context::CDO<size_t> d_dindex;
 };
-- 
cgit v1.2.3