From 5a2c92f4af8980920507b5e6991fadf774f55d0e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Apr 2022 17:25:24 +0100
Subject: [PATCH] format

---
 src/util/max_cliques.h | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h
index 576408f51..2841db609 100644
--- a/src/util/max_cliques.h
+++ b/src/util/max_cliques.h
@@ -38,9 +38,8 @@ class max_cliques : public T {
         m_todo.push_back(p);
         for (unsigned i = 0; i < m_todo.size(); ++i) {
             p = m_todo[i];
-            if (m_seen1.contains(p)) {
-                continue;
-            }
+            if (m_seen1.contains(p)) 
+                continue;            
             m_seen1.insert(p);
             if (m_seen2.contains(p)) {
                 unsigned_vector const& tc = m_tc[p];
@@ -50,14 +49,12 @@ class max_cliques : public T {
             }
             else {
                 unsigned np = negate(p);
-                if (goal.contains(np)) {
-                    reachable.insert(np);
-                }
+                if (goal.contains(np)) 
+                    reachable.insert(np);                
                 m_todo.append(next(np));
             }
         }
-        for (unsigned i = m_todo.size(); i > 0; ) {
-            --i;
+        for (unsigned i = m_todo.size(); i-- > 0; ) {            
             p = m_todo[i];
             if (m_seen2.contains(p)) 
                 continue;
@@ -209,9 +206,8 @@ public:
                 unsigned_vector mux;
                 for (unsigned x : am1)
                     mux.push_back(x);
-                if (mux.size() == 2 && mux[0] == negate(mux[1])) {
-                    continue;
-                }
+                if (mux.size() == 2 && mux[0] == negate(mux[1])) 
+                    continue;                
                 cliques.push_back(mux);
             }
         }