diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index b3a4caf66..b4242adbb 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -444,7 +444,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep pCut->Delay = If_CutDelay( p, pObj, pCut ); if ( pCut->Delay == -1 ) continue; - if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon ) + if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon && pCutSet->nCuts > 0 ) continue; // compute area of the cut (this area may depend on the application specific cost) pCut->Area = (Mode == 2)? If_CutAreaDerefed( p, pCut ) : If_CutAreaFlow( p, pCut );