1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h
index 7ff674b25..7c6bfc47b 100644
--- a/src/theory/arith/arith_static_learner.h
+++ b/src/theory/arith/arith_static_learner.h
@@ -39,9 +39,9 @@ private:
   /**
    * Map from a node to it's minimum and maximum.
    */
-  typedef context::CDHashMap<Node, DeltaRational, NodeHashFunction> CDNodeToMinMaxMap;
-  CDNodeToMinMaxMap d_minMap;
-  CDNodeToMinMaxMap d_maxMap;
+ typedef context::CDHashMap<Node, DeltaRational> CDNodeToMinMaxMap;
+ CDNodeToMinMaxMap d_minMap;
+ CDNodeToMinMaxMap d_maxMap;
 
 public:
   ArithStaticLearner(context::Context* userContext);