From: Tim King <taking@cs.nyu.edu>
Date: Wed, 25 Jul 2018 23:56:34 +0000 (-0700)
Subject: Changing ArithIteUtils to use CDInsertHashMap. (#2206)
X-Git-Tag: cvc5-1.0.0~4865
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=12f062a502e25978700cca0d1abb09a8ba81e543;p=cvc5.git

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 69801919f..7950ef05f 100644
--- 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;