diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index e378c7fdf..841bdde9b 100644
--- a/src/qe/qsat.cpp
+++ b/src/qe/qsat.cpp
@@ -909,7 +909,7 @@ namespace qe {
                 num_scopes = 2;
             }
             else {
-				if (level.max() + 2 > m_level) return false;
+                if (level.max() + 2 > m_level) return false;
                 SASSERT(level.max() + 2 <= m_level);
                 num_scopes = m_level - level.max();
                 SASSERT(num_scopes >= 2);