diff options
Diffstat (limited to 'src/smt/term_formula_removal.h')
| -rw-r--r-- | src/smt/term_formula_removal.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/term_formula_removal.h b/src/smt/term_formula_removal.h index 1eeed5543..6a3a1c019 100644 --- a/src/smt/term_formula_removal.h +++ b/src/smt/term_formula_removal.h @@ -127,7 +127,7 @@ class RemoveTermFormulas { typedef context::CDInsertHashMap< std::pair<Node, uint32_t>, Node, - PairHashFunction<Node, uint32_t, NodeHashFunction> > + PairHashFunction<Node, uint32_t, std::hash<Node>>> TermFormulaCache; /** term formula removal cache * @@ -155,7 +155,7 @@ class RemoveTermFormulas { * d_skolem_cache[ite( G, a, b )] = k, and * d_tfCache[<ite( G, a, b ),0>] = d_tfCache[<ite( G, a, b ),1>] = k. */ - context::CDInsertHashMap<Node, Node, NodeHashFunction> d_skolem_cache; + context::CDInsertHashMap<Node, Node> d_skolem_cache; /** gets the skolem for node * |