diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-18 10:20:18 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-18 10:20:18 -0600 |
commit | 5a8ec602967719f48a0bd76b84976a9504ae209b (patch) | |
tree | 23b1d4bee40cbe56bfcd7efb7c4b55885668cce2 /src/smt/preprocessor.cpp | |
parent | 639540664a763a2a552d659eb594b04fb2656f5b (diff) |
Minor cleanup of SmtEngine (#5450)
Diffstat (limited to 'src/smt/preprocessor.cpp')
-rw-r--r-- | src/smt/preprocessor.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/smt/preprocessor.cpp b/src/smt/preprocessor.cpp index 912c0ea28..98a2a7a36 100644 --- a/src/smt/preprocessor.cpp +++ b/src/smt/preprocessor.cpp @@ -29,13 +29,14 @@ namespace smt { Preprocessor::Preprocessor(SmtEngine& smt, context::UserContext* u, - AbstractValues& abs) + AbstractValues& abs, + SmtEngineStatistics& stats) : d_context(u), d_smt(smt), d_absValues(abs), d_propagator(true, true), d_assertionsProcessed(u, false), - d_processor(smt, *smt.getResourceManager()), + d_processor(smt, *smt.getResourceManager(), stats), d_rtf(u), d_pnm(nullptr) { |