diff options
Diffstat (limited to 'src/smt')
| -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 e7a61d953..30972c1cc 100644 --- a/src/smt/term_formula_removal.h +++ b/src/smt/term_formula_removal.h @@ -121,9 +121,9 @@ class RemoveTermFormulas { private: typedef context::CDInsertHashMap< - std::pair<Node, int32_t>, + std::pair<Node, uint32_t>, Node, - PairHashFunction<Node, int32_t, NodeHashFunction> > + PairHashFunction<Node, uint32_t, NodeHashFunction> > TermFormulaCache; /** term formula removal cache * |