From f97ffce479e3283e59f5352d001e9ab4cd1dafc9 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 19 Oct 2016 12:31:35 +0100
Subject: [PATCH] Silenced GCC warning about empty loop body.

---
 src/sat/sat_types.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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();