From 7f52115ab0dcba4c8ba9403a5f25b8e8c588911a Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 5 Dec 2012 19:06:21 +0000
Subject: This commit merges in CDTrailHashMap and CDInsertHashMap. CDHashSet
 now uses CDInsertHashMap. CDHashSet<TNode> have been changed to
 CDHashSet<Node>.  Switching CnfStream to use CDInsertSet. Switches a few
 CDHashMaps in arithmetic to use CDTrailHashMap. Documentation changes to
 CDHashMap.

---
 src/theory/booleans/circuit_propagator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/booleans')

diff --git a/src/theory/booleans/circuit_propagator.h b/src/theory/booleans/circuit_propagator.h
index e62f9b7a1..aec0cff58 100644
--- a/src/theory/booleans/circuit_propagator.h
+++ b/src/theory/booleans/circuit_propagator.h
@@ -118,7 +118,7 @@ private:
 
   /** Nodes that have been attached already (computed forward edges for) */
   // All the nodes we've visited so far
-  context::CDHashSet<TNode, TNodeHashFunction> d_seen;
+  context::CDHashSet<Node, NodeHashFunction> d_seen;
 
   /**
    * Assignment status of each node.
-- 
cgit v1.2.3