From cf5aef38890e8b8b2cdbbf35192dddc27ba265d0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 10 Mar 2026 22:26:43 -0700
Subject: [PATCH] Fix compiler problems.

---
 src/map/if/ifMan.c | 2 +-
 src/map/if/ifMap.c | 8 +++-----
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c
index ebf650db4..ba5601fe8 100644
--- a/src/map/if/ifMan.c
+++ b/src/map/if/ifMan.c
@@ -226,7 +226,7 @@ void If_ManSimpleSort( int * pArray, int nSize )
 void If_ManDumpCut( If_Cut_t * pCut, int nLutSize, Vec_Int_t * vCuts )
 {
     int i;
-    for ( i = 0; i < pCut->nLeaves; i++ )
+    for ( i = 0; i < (int)pCut->nLeaves; i++ )
         Vec_IntPush( vCuts, pCut->pLeaves[i] );
     for ( ; i < nLutSize; i++ )
         Vec_IntPush( vCuts, -1 );
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index b03201a6b..6b710d6e0 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -216,8 +216,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
             pCut->fUseless = (Delay > IF_FLOAT_LARGE/2);
             pCut->Delay = Delay;
 IfMapBestCutDone:
-//            if ( pCut->nLeaves == 9 && !pCut->fUseless )
-//                Abc_Print( 1, "Delay-debug(Map9-best): obj=%d delay=%.2f\n", pObj->Id, pCut->Delay );
+            ;
         }
         else if ( p->pPars->fUserRecLib )
             pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj ); 
@@ -294,7 +293,7 @@ IfMapBestCutDone:
             if ( !If_CutMergeOrdered( p, pCut0, pCut1, pCut ) )
                 continue;
         }
-        if ( p->pPars->fUserLutDec && !fFirst && pCut->nLeaves > p->pPars->nLutDecSize )
+        if ( p->pPars->fUserLutDec && !fFirst && (int)pCut->nLeaves > p->pPars->nLutDecSize )
             continue;
         if ( pObj->fSpec && pCut->nLeaves == (unsigned)p->pPars->nLutSize )
             continue;
@@ -492,8 +491,7 @@ IfMapBestCutDone:
             assert( pCut->fUseless || pCut->Config != 0 );
             pCut->Delay = pCut->fUseless ? IF_FLOAT_LARGE : p->CutDelayCur;
 IfMapCutEvalDone:
-//            if ( pCut->nLeaves == 9 && !pCut->fUseless )
-//                Abc_Print( 1, "Delay-debug(Map9): obj=%d delay=%.2f\n", pObj->Id, pCut->Delay );
+            ;
         }
         else if ( p->pPars->fUserRecLib )
             pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj );