diff options
Diffstat (limited to 'src/preprocessing/passes/non_clausal_simp.cpp')
-rw-r--r-- | src/preprocessing/passes/non_clausal_simp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/non_clausal_simp.cpp b/src/preprocessing/passes/non_clausal_simp.cpp index 139bf96a9..03f38370b 100644 --- a/src/preprocessing/passes/non_clausal_simp.cpp +++ b/src/preprocessing/passes/non_clausal_simp.cpp @@ -56,7 +56,7 @@ PreprocessingPassResult NonClausalSimp::applyInternal( { Assert(!options::unsatCores() && !options::fewerPreprocessingHoles()); - d_preprocContext->spendResource(options::preprocessStep()); + d_preprocContext->spendResource(ResourceManager::Resource::PreprocessStep); theory::booleans::CircuitPropagator* propagator = d_preprocContext->getCircuitPropagator(); |