From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 10 Sep 2021 19:27:52 +0000 (-0700)
Subject: FP: Enable caching in the theory inference manager. (#7168)
X-Git-Tag: cvc5-1.0.0~1234
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c17d1a46fdee356efd76835a71cae4f7d432b63f;p=cvc5.git

FP: Enable caching in the theory inference manager. (#7168)
---

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))
 {