diff options
Diffstat (limited to 'src/smt/process_assertions.cpp')
| -rw-r--r-- | src/smt/process_assertions.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/process_assertions.cpp b/src/smt/process_assertions.cpp index 2c97d9413..1aa46c73c 100644 --- a/src/smt/process_assertions.cpp +++ b/src/smt/process_assertions.cpp @@ -94,7 +94,7 @@ void ProcessAssertions::finishInit(PreprocessingPassContext* pc) void ProcessAssertions::cleanup() { d_passes.clear(); } -void ProcessAssertions::spendResource(ResourceManager::Resource r) +void ProcessAssertions::spendResource(Resource r) { d_resourceManager.spendResource(r); } @@ -359,7 +359,7 @@ bool ProcessAssertions::apply(Assertions& as) // returns false if simplification led to "false" bool ProcessAssertions::simplifyAssertions(AssertionPipeline& assertions) { - spendResource(ResourceManager::Resource::PreprocessStep); + spendResource(Resource::PreprocessStep); try { ScopeCounter depth(d_simplifyAssertionsDepth); |