From bde60f2a204335f85cacbb33d7e4115bd5841ac6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 21 Nov 2025 00:49:36 -0800
Subject: [PATCH] Update to "lutexact".

---
 src/sat/bmc/bmcMaj8.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
index ae0307994..3aa3bce59 100644
--- a/src/sat/bmc/bmcMaj8.c
+++ b/src/sat/bmc/bmcMaj8.c
@@ -791,7 +791,8 @@ int Exa8_ManExactSynthesisIter( Bmc_EsPar_t * pPars )
             Vec_StrFree( vStr );
         }
         Result = Exa8_ManExactSynthesis(pPars);
-        if ( Result != 2 )
+        fflush( stdout );
+        if ( Result == 1 )
             break;
     }
     return Result;