diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-08-23 11:13:07 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-08-23 17:48:17 -0700 |
commit | 0ff3d2dbf187376c3a9aeeeae8d3f47e4d73c1c9 (patch) | |
tree | a31cf8f39293c77f62dac926be37f83f0024b321 /src/smt | |
parent | c57139b1e0ddd918eea5f9b77dae7d3a04b3860a (diff) |
Fix typos
Diffstat (limited to 'src/smt')
-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() && |