1 files changed, 6 insertions, 4 deletions
diff --git a/src/theory/bv/lazy_bitblaster.cpp b/src/theory/bv/lazy_bitblaster.cpp
index d108a37f0..33342dc2e 100644
--- a/src/theory/bv/lazy_bitblaster.cpp
+++ b/src/theory/bv/lazy_bitblaster.cpp
@@ -384,12 +384,14 @@ void TLazyBitblaster::MinisatNotify::notify(prop::SatClause& clause) {
   }
 }
 
-void TLazyBitblaster::MinisatNotify::spendResource(unsigned ammount) {
-  d_bv->spendResource(ammount);
+void TLazyBitblaster::MinisatNotify::spendResource(unsigned amount)
+{
+  d_bv->spendResource(amount);
 }
 
-void TLazyBitblaster::MinisatNotify::safePoint(unsigned ammount) {
-  d_bv->d_out->safePoint(ammount);
+void TLazyBitblaster::MinisatNotify::safePoint(unsigned amount)
+{
+  d_bv->d_out->safePoint(amount);
 }