Changing the arithmetic static learner to use CDHashMap. This is 2/3 PRs for deprecat...

diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h
index 2318da25dadd877fd647634196e4ca0687559e54..a6b57411b4efdd30e3427d0d3aee05e0d0872e58 100644 (file)
--- a/src/theory/arith/arith_static_learner.h
+++ b/src/theory/arith/arith_static_learner.h
@@ -22,7 +22,7 @@
 
 #include <set>
 
-#include "context/cdtrail_hashmap.h"
+#include "context/cdhashmap.h"
 #include "context/context.h"
 #include "theory/arith/arith_utilities.h"
 #include "util/statistics_registry.h"
@@ -37,7 +37,7 @@ private:
   /**
    * Map from a node to it's minimum and maximum.
    */
-  typedef context::CDTrailHashMap<Node, DeltaRational, NodeHashFunction> CDNodeToMinMaxMap;
+  typedef context::CDHashMap<Node, DeltaRational, NodeHashFunction> CDNodeToMinMaxMap;
   CDNodeToMinMaxMap d_minMap;
   CDNodeToMinMaxMap d_maxMap;