diff options
Diffstat (limited to 'src/theory/arith/arith_preprocess.cpp')
-rw-r--r-- | src/theory/arith/arith_preprocess.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/arith/arith_preprocess.cpp b/src/theory/arith/arith_preprocess.cpp index d5533de24..6ab399348 100644 --- a/src/theory/arith/arith_preprocess.cpp +++ b/src/theory/arith/arith_preprocess.cpp @@ -39,8 +39,7 @@ TrustNode ArithPreprocess::eliminate(TNode n, bool ArithPreprocess::reduceAssertion(TNode atom) { - context::CDHashMap<Node, bool, NodeHashFunction>::const_iterator it = - d_reduced.find(atom); + context::CDHashMap<Node, bool>::const_iterator it = d_reduced.find(atom); if (it != d_reduced.end()) { // already computed @@ -70,8 +69,7 @@ bool ArithPreprocess::reduceAssertion(TNode atom) bool ArithPreprocess::isReduced(TNode atom) const { - context::CDHashMap<Node, bool, NodeHashFunction>::const_iterator it = - d_reduced.find(atom); + context::CDHashMap<Node, bool>::const_iterator it = d_reduced.find(atom); if (it == d_reduced.end()) { return false; |