From 56f2e6dc41fa5fbeff1755978fa1854e800846b5 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 22 Sep 2020 20:06:42 -0500
Subject: [PATCH] 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.
---
 src/smt/term_formula_removal.h | 4 ++--
 1 file 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
    *
-- 
2.30.2