diff options
Diffstat (limited to 'src/preprocessing/passes/non_clausal_simp.cpp')
| -rw-r--r-- | src/preprocessing/passes/non_clausal_simp.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/preprocessing/passes/non_clausal_simp.cpp b/src/preprocessing/passes/non_clausal_simp.cpp index 8f390a402..e380a1073 100644 --- a/src/preprocessing/passes/non_clausal_simp.cpp +++ b/src/preprocessing/passes/non_clausal_simp.cpp @@ -40,8 +40,8 @@ namespace passes { /* -------------------------------------------------------------------------- */ -NonClausalSimp::Statistics::Statistics() - : d_numConstantProps(smtStatisticsRegistry().registerInt( +NonClausalSimp::Statistics::Statistics(StatisticsRegistry& reg) + : d_numConstantProps(reg.registerInt( "preprocessing::passes::NonClausalSimp::NumConstantProps")) { } @@ -51,6 +51,7 @@ NonClausalSimp::Statistics::Statistics() NonClausalSimp::NonClausalSimp(PreprocessingPassContext* preprocContext) : PreprocessingPass(preprocContext, "non-clausal-simp"), + d_statistics(statisticsRegistry()), d_pnm(preprocContext->getProofNodeManager()), d_llpg(d_pnm ? new smt::PreprocessProofGenerator( d_pnm, userContext(), "NonClausalSimp::llpg") |