Extending predefined limit in &shrink.

This commit is contained in:
Alan Mishchenko 2013-10-21 13:48:07 -07:00
parent cb4631e64e
commit 1c56475287
1 changed files with 1 additions and 1 deletions

View File

@ -98,7 +98,7 @@ Shr_Man_t * Shr_ManAlloc( Gia_Man_t * pGia )
Shr_Man_t * p;
p = ABC_CALLOC( Shr_Man_t, 1 );
p->nDivMax = 64;
p->nNewSize = 3 * Gia_ManObjNum(pGia) / 2;
p->nNewSize = 2 * Gia_ManObjNum(pGia);
p->pGia = pGia;
p->vFanMem = Vec_WrdAlloc( 1000 ); Vec_WrdPush(p->vFanMem, -1);
p->vObj2Fan = Vec_IntStart( p->nNewSize );