1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arith/arith_ite_utils.cpp b/src/theory/arith/arith_ite_utils.cpp
index 454d6c11f..3930d7359 100644
--- a/src/theory/arith/arith_ite_utils.cpp
+++ b/src/theory/arith/arith_ite_utils.cpp
@@ -390,8 +390,8 @@ Node ArithIteUtils::findIteCnd(TNode tb, TNode fb) const{
 bool ArithIteUtils::solveBinOr(TNode binor){
   Assert(binor.getKind() == kind::OR);
   Assert(binor.getNumChildren() == 2);
-  Assert(binor[0].getKind() ==  kind::EQUAL);
-  Assert(binor[1].getKind() ==  kind::EQUAL);
+  Assert(binor[0].getKind() == kind::EQUAL);
+  Assert(binor[1].getKind() == kind::EQUAL);
 
   //Node n = 
   Node n = applySubstitutions(binor);
@@ -411,8 +411,8 @@ bool ArithIteUtils::solveBinOr(TNode binor){
   TNode l = n[0];
   TNode r = n[1];
 
-  Assert(l.getKind() ==  kind::EQUAL);
-  Assert(r.getKind() ==  kind::EQUAL);
+  Assert(l.getKind() == kind::EQUAL);
+  Assert(r.getKind() == kind::EQUAL);
 
   Debug("arith::ite") << "bin or " << n << endl;