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/arith/theory_arith.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/theory/arith/theory_arith.h')

diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h
index f364885c2..e6bdbfba0 100644
--- a/src/theory/arith/theory_arith.h
+++ b/src/theory/arith/theory_arith.h
@@ -23,7 +23,7 @@
 #include "theory/theory.h"
 #include "context/context.h"
 #include "context/cdlist.h"
-#include "context/cdset.h"
+#include "context/cdhashset.h"
 #include "expr/node.h"
 
 #include "theory/arith/arith_utilities.h"
@@ -183,7 +183,7 @@ private:
   /**
    * List of all of the inequalities asserted in the current context.
    */
-  context::CDSet<Node, NodeHashFunction> d_diseq;
+  context::CDHashSet<Node, NodeHashFunction> d_diseq;
 
   /**
    * Manages information about the assignment and upper and lower bounds on
-- 
cgit v1.2.3