Changing ArithIteUtils to use CDInsertHashMap. (#2206)

 This is 1/3 PRs for deprecating CDTrailHashMap.

diff --git a/src/theory/arith/arith_ite_utils.h b/src/theory/arith/arith_ite_utils.h
index 69801919f124037cdf5888fee2cc51e7f3489926..7950ef05fbd75e0feafe73f32112a326f1648e9f 100644 (file)
--- a/src/theory/arith/arith_ite_utils.h
+++ b/src/theory/arith/arith_ite_utils.h
@@ -26,7 +26,7 @@
 
 #include "expr/node.h"
 #include "context/cdo.h"
-#include "context/cdtrail_hashmap.h"
+#include "context/cdinsert_hashmap.h"
 
 namespace CVC4 {
 namespace theory {
@@ -57,7 +57,7 @@ class ArithIteUtils {
   Integer d_one;
 
   context::CDO<unsigned> d_subcount;
-  typedef context::CDTrailHashMap<Node, Node, NodeHashFunction> CDNodeMap;
+  typedef context::CDInsertHashMap<Node, Node, NodeHashFunction> CDNodeMap;
   CDNodeMap d_skolems;
 
   typedef std::map<Node, std::set<Node> > ImpMap;