diff options
Diffstat (limited to 'src/map/mapper')
-rw-r--r-- | src/map/mapper/mapperMatch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index 5fce3dc0..19dd6939 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -482,7 +482,7 @@ void Map_NodeTryDroppingOnePhase( Map_Man_t * p, Map_Node_t * pNode ) tWorst1Using0 = Map_TimeMatchWithInverter( p, pMatchBest0 ); // consider the case of mapping for delay - if ( p->fMappingMode == 0 ) + if ( p->fMappingMode == 0 && p->DelayTarget < ABC_INFINITY ) { // if the arrival time of a phase is larger than the arrival time // of the opposite phase plus the inverter, drop this phase |