diff options
Diffstat (limited to 'src/theory/engine_output_channel.cpp')
| -rw-r--r-- | src/theory/engine_output_channel.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/engine_output_channel.cpp b/src/theory/engine_output_channel.cpp index dd68cb8e5..d5ce5ab79 100644 --- a/src/theory/engine_output_channel.cpp +++ b/src/theory/engine_output_channel.cpp @@ -60,7 +60,7 @@ EngineOutputChannel::EngineOutputChannel(TheoryEngine* engine, { } -void EngineOutputChannel::safePoint(ResourceManager::Resource r) +void EngineOutputChannel::safePoint(Resource r) { spendResource(r); if (d_engine->d_interrupted) @@ -146,7 +146,7 @@ void EngineOutputChannel::setIncomplete(IncompleteId id) d_engine->setIncomplete(d_theory, id); } -void EngineOutputChannel::spendResource(ResourceManager::Resource r) +void EngineOutputChannel::spendResource(Resource r) { d_engine->spendResource(r); } |