Fix type issue with term formula removal (#5107)

We currently are using lookups with uint32_t but storing with int32_t. Somehow the compilers don't complain, but I noticed this was mismatched.

diff --git a/src/smt/term_formula_removal.h b/src/smt/term_formula_removal.h
index e7a61d9532601dd42e99befa94ab5040edfc7174..30972c1cc39ab463b14501f7c52e15752adbe93e 100644 (file)
--- 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
    *