diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 20209fdcb..f360ae2fd 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -742,8 +742,8 @@ public: } ResourceManager* getResourceManager() { return d_resourceManager; } - void spendResource(unsigned ammount) throw(UnsafeInterruptException) { - d_resourceManager->spendResource(ammount); + void spendResource(unsigned amount) throw(UnsafeInterruptException) { + d_resourceManager->spendResource(amount); } void nmNotifyNewSort(TypeNode tn, uint32_t flags) { @@ -3992,7 +3992,7 @@ void SmtEnginePrivate::processAssertions() { } if (options::bitblastMode() == theory::bv::BITBLAST_MODE_EAGER) { - d_smt.d_theoryEngine->mkAckermanizationAsssertions(d_assertions.ref()); + d_smt.d_theoryEngine->mkAckermanizationAssertions(d_assertions.ref()); } if ( options::bvAbstraction() && |