diff options
Diffstat (limited to 'src/map/if/ifSeq.c')
| -rw-r--r-- | src/map/if/ifSeq.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c index adb97b22..32cef52a 100644 --- a/src/map/if/ifSeq.c +++ b/src/map/if/ifSeq.c @@ -142,7 +142,7 @@ int If_ManPerformMappingRoundSeq( If_Man_t * p, int nIter ) p->nCutsMerged = 0; If_ManForEachNode( p, pObj, i ) { - If_ObjPerformMappingAnd( p, pObj, 0, 0 ); + If_ObjPerformMappingAnd( p, pObj, 0, 0, 0 ); if ( pObj->fRepr ) If_ObjPerformMappingChoice( p, pObj, 0, 0 ); } @@ -345,7 +345,7 @@ int If_ManPerformMappingSeq( If_Man_t * p ) p->SortMode = 0; // perform combinational mapping to get the upper bound on the clock period - If_ManPerformMappingRound( p, 1, 0, 0, NULL ); + If_ManPerformMappingRound( p, 1, 0, 0, 1, NULL ); p->RequiredGlo = If_ManDelayMax( p, 0 ); p->RequiredGlo2 = p->RequiredGlo; |