From c17d1a46fdee356efd76835a71cae4f7d432b63f Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 10 Sep 2021 12:27:52 -0700 Subject: [PATCH] FP: Enable caching in the theory inference manager. (#7168) --- src/theory/fp/theory_fp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/fp/theory_fp.cpp b/src/theory/fp/theory_fp.cpp index 5e0752f0d..d4ecbd357 100644 --- a/src/theory/fp/theory_fp.cpp +++ b/src/theory/fp/theory_fp.cpp @@ -70,7 +70,7 @@ TheoryFp::TheoryFp(Env& env, OutputChannel& out, Valuation valuation) d_abstractionMap(userContext()), d_rewriter(userContext()), d_state(env, valuation), - d_im(env, *this, d_state, d_pnm, "theory::fp::", false), + d_im(env, *this, d_state, d_pnm, "theory::fp::", true), d_wbFactsCache(userContext()), d_true(d_env.getNodeManager()->mkConst(true)) { -- 2.30.2