From 068107e1d1f705eb9054b4309a26236230687d80 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 2 Mar 2012 20:38:23 +0000
Subject: CDMap -> CDHashMap CDSet -> CDHashSet

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

(limited to 'src/theory/term_registration_visitor.h')

diff --git a/src/theory/term_registration_visitor.h b/src/theory/term_registration_visitor.h
index edb759157..74b756a03 100644
--- a/src/theory/term_registration_visitor.h
+++ b/src/theory/term_registration_visitor.h
@@ -36,7 +36,7 @@ class PreRegisterVisitor {
   /**
    * Map from nodes to the theories that have already seen them.
    */
-  typedef context::CDMap<TNode, theory::Theory::Set, TNodeHashFunction> TNodeVisitedMap;
+  typedef context::CDHashMap<TNode, theory::Theory::Set, TNodeHashFunction> TNodeVisitedMap;
   TNodeVisitedMap d_visited;
 
   /**
-- 
cgit v1.2.3