diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-16 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-16 08:01:00 -0800 |
| commit | 61850d5942fcff634b16696bf3ca7ee0fc465d1c (patch) | |
| tree | cf363134194ae3796b04561cd24cf7c9871dd3e4 /src/opt/res | |
| parent | 4a61139de0b9a50e8dda80845e379d4b937043dc (diff) | |
| download | abc-61850d5942fcff634b16696bf3ca7ee0fc465d1c.tar.gz abc-61850d5942fcff634b16696bf3ca7ee0fc465d1c.tar.bz2 abc-61850d5942fcff634b16696bf3ca7ee0fc465d1c.zip | |
Version abc80116
Diffstat (limited to 'src/opt/res')
| -rw-r--r-- | src/opt/res/resCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c index b22f0f5e..cb448fc0 100644 --- a/src/opt/res/resCore.c +++ b/src/opt/res/resCore.c @@ -100,7 +100,7 @@ Res_Man_t * Res_ManAlloc( Res_Par_t * pPars ) p->pPars = pPars; p->pWin = Res_WinAlloc(); p->pSim = Res_SimAlloc( pPars->nSimWords ); - p->pMan = Int_ManAlloc( 512 ); + p->pMan = Int_ManAlloc(); p->vMem = Vec_IntAlloc( 0 ); p->vResubs = Vec_VecStart( pPars->nCands ); p->vResubsW = Vec_VecStart( pPars->nCands ); |