From a775d1f5189f9fa7f10f51ba6fbdfaade1367da1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Oct 2018 14:40:13 -0500
Subject: [PATCH] newline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/uint_set.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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