diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-10 12:27:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-10 19:27:52 +0000 |
| commit | c17d1a46fdee356efd76835a71cae4f7d432b63f (patch) | |
| tree | 04eccf94187231e30f25e1f75abc4402273a2c6d | |
| parent | 978f295178a2e70e16aca2ce2b951cc9afe2be40 (diff) | |
FP: Enable caching in the theory inference manager. (#7168)
| -rw-r--r-- | src/theory/fp/theory_fp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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)) { |