diff --git a/src/sat/sat_types.h b/src/sat/sat_types.h
index 8e3460179..00edaa593 100644
--- a/src/sat/sat_types.h
+++ b/src/sat/sat_types.h
@@ -166,7 +166,8 @@ namespace sat {
             if (contains(v)) {
                 m_in_set[v] = false;
                 unsigned i = 0;
-                for (i = 0; i < m_set.size() && m_set[i] != v; ++i);
+                for (i = 0; i < m_set.size() && m_set[i] != v; ++i)
+                    ;
                 SASSERT(i < m_set.size());
                 m_set[i] = m_set.back();
                 m_set.pop_back();