diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
| commit | d0c4c0cd7b955c49a1d300977555ee14289726e4 (patch) | |
| tree | f084311e1b25f25beec3cf790becea6b0c5eb6d1 /src/map/if/ifMan.c | |
| parent | 17f989ccbaaa9f51d17349c55f0745396d3e7007 (diff) | |
| download | abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.gz abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.bz2 abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.zip | |
Improvements to DSD balancing.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 633f7695..443822ac 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -222,9 +222,9 @@ void If_ManStop( If_Man_t * p ) Vec_PtrFreeP( &p->vObjsRev ); Vec_PtrFreeP( &p->vLatchOrder ); Vec_IntFreeP( &p->vLags ); - for ( i = 6; i <= p->pPars->nLutSize; i++ ) + for ( i = 6; i <= Abc_MaxInt(6,p->pPars->nLutSize); i++ ) Vec_IntFreeP( &p->vTtDsds[i] ); - for ( i = 6; i <= p->pPars->nLutSize; i++ ) + for ( i = 6; i <= Abc_MaxInt(6,p->pPars->nLutSize); i++ ) Vec_StrFreeP( &p->vTtPerms[i] ); Vec_IntFreeP( &p->vCutData ); Vec_IntFreeP( &p->vPairRes ); |