From c428db0bf20314992bab9a850a7bacc0fcd29a97 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Feb 2020 14:51:54 -0800
Subject: [PATCH] na

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

diff --git a/src/sat/sat_lut_finder.cpp b/src/sat/sat_lut_finder.cpp
index 1c4192660..a450924a7 100644
--- a/src/sat/sat_lut_finder.cpp
+++ b/src/sat/sat_lut_finder.cpp
@@ -142,7 +142,8 @@ namespace sat {
 
     bool lut_finder::extract_lut(clause& c2) {
         for (literal l : c2) {            
-            if (!s.is_visited(l.var())) return false;
+            if (!s.is_visited(l.var())) 
+                return false;
         }
         if (c2.size() == m_vars.size()) {
             m_clauses_to_remove.push_back(&c2);