diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index e2c2ff0a5..570fb4ae3 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -339,6 +339,8 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
             // set the phase attribute
             assert( pCut->fCompl == 0 );
             pCut->fCompl ^= (pObj->fPhase ^ pTemp->fPhase); // why ^= ?
+            if ( p->pPars->fDelayOpt && pCut->fCompl )
+                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 );
             if ( p->pPars->fEdge )