From 1a558a30bec496444742ed75c0a6973d9789daf7 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 2 Apr 2012 20:56:55 +0000
Subject: - Merged in the branch cdlist-cleanup. - This adds a CleanUp template
 argument to CDList. - CDChunkList<T> replaces the CDList specialization for
 ContextMemoryAllocator. - CDVector<T> has been simplified and improved. - The
 expected performance impact is negligible.

---
 src/util/congruence_closure.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/util')

diff --git a/src/util/congruence_closure.h b/src/util/congruence_closure.h
index ed1cecd7b..d7b8b0a22 100644
--- a/src/util/congruence_closure.h
+++ b/src/util/congruence_closure.h
@@ -32,7 +32,7 @@
 #include "context/cdo.h"
 #include "context/cdhashmap.h"
 #include "context/cdhashset.h"
-#include "context/cdlist_context_memory.h"
+#include "context/cdchunk_list.h"
 #include "util/exception.h"
 #include "context/stacking_map.h"
 #include "util/stats.h"
@@ -140,9 +140,9 @@ class CongruenceClosure {
 
   // typedef all of these so that iterators are easy to define
   typedef context::StackingMap<Node, Node, NodeHashFunction> RepresentativeMap;
-  typedef context::CDList<TNode, context::ContextMemoryAllocator<TNode> > ClassList;
+  typedef context::CDChunkList<TNode> ClassList;
   typedef context::CDHashMap<Node, ClassList*, NodeHashFunction> ClassLists;
-  typedef context::CDList<TNode, context::ContextMemoryAllocator<TNode> > UseList;
+  typedef context::CDChunkList<TNode> UseList;
   typedef context::CDHashMap<TNode, UseList*, TNodeHashFunction> UseLists;
   typedef context::CDHashMap<Node, Node, NodeHashFunction> LookupMap;
 
-- 
cgit v1.2.3