diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp
index 3e306370d..d6932c9c0 100644
--- a/src/sat/sat_asymm_branch.cpp
+++ b/src/sat/sat_asymm_branch.cpp
@@ -459,9 +459,9 @@ namespace sat {
 
         // try asymmetric branching
         // clause must not be used for propagation
-		s.propagate(false);
-		if (s.inconsistent())
-			return true;
+        s.propagate(false);
+        if (s.inconsistent())
+            return true;
         scoped_detach scoped_d(s, c);
         unsigned new_sz = c.size();
         unsigned flip_position = m_rand(c.size());