diff --git a/src/util/uint_set.h b/src/util/uint_set.h
index e6518b435..202df1039 100644
--- a/src/util/uint_set.h
+++ b/src/util/uint_set.h
@@ -270,7 +270,8 @@ public:
         if (contains(v)) {
             m_in_set[v] = false;
             unsigned i = m_set.size();
-            for (; i > 0 && m_set[--i] != v; ) ;
+            for (; i > 0 && m_set[--i] != v; ) 
+                ;
             SASSERT(m_set[i] == v);
             m_set[i] = m_set.back();
             m_set.pop_back();