From: Tim King <taking@cs.nyu.edu>
Date: Thu, 26 Jul 2018 20:13:43 +0000 (-0700)
Subject: Changing the arithmetic static learner to use CDHashMap. This is 2/3 PRs for deprecat... 
X-Git-Tag: cvc5-1.0.0~4859
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc913810a1ef8269d4f75f492631ec8d7f5dcab9;p=cvc5.git

Changing the arithmetic static learner to use CDHashMap. This is 2/3 PRs for deprecating CDTrailHashMap. (#2207)
---

diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h
index 2318da25d..a6b57411b 100644
--- 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;