From 96c28881a868f3dad1e73caa6df5df7e11347e37 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 1 Apr 2025 19:03:17 -0700
Subject: [PATCH] Bug fix in LUT cascade.

---
 src/misc/util/utilBSet.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/misc/util/utilBSet.c b/src/misc/util/utilBSet.c
index b331c29df..27496ddfe 100644
--- a/src/misc/util/utilBSet.c
+++ b/src/misc/util/utilBSet.c
@@ -877,7 +877,7 @@ int Abc_SharedEvalBest( Abc_BSEval_t * p, word * pTruth, int nVars, int nCVars,
     int MyuCur, Myu = Abc_TtGetCMInt( pTruth, nVars, nFVars, p->vCounts, p->vTable, p->vStore, p->vUsed, pPat );
     int nRailsCur = Abc_Base2Log( Myu ); Vec_Int_t * vLevel; 
     assert( Myu == MyuMin && nRailsCur > nRails );
-    int i, k, iSet, iStart, nSharedMax = nVars - nCVars - nFVars - 1, nRailsMin = 100; 
+    int i, k, iSet, iStart, nSharedMax = nVars - nFVars - nRails, nRailsMin = 100; 
     Vec_WecForEachLevelStartStop( p->vSets, vLevel, i, 1, nSharedMax ) {
         Vec_IntForEachEntryDouble( vLevel, iSet, iStart, k ) {
             if ( iSet & CVarMask )