diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-08-31 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-08-31 08:01:00 -0700 |
commit | 9f5ef0d6184ef9c73591250ef00b18edfd99885b (patch) | |
tree | 73c040facc2610ea9ae64e14b6f2ff12e8c7f311 /src/opt/lpk/lpkMan.c | |
parent | ddc6d1c1682a18e293399b7d6c9f4a9018c30c70 (diff) | |
download | abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.tar.gz abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.tar.bz2 abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.zip |
Version abc70831
Diffstat (limited to 'src/opt/lpk/lpkMan.c')
-rw-r--r-- | src/opt/lpk/lpkMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkMan.c b/src/opt/lpk/lpkMan.c index c11a0a33..5be198d7 100644 --- a/src/opt/lpk/lpkMan.c +++ b/src/opt/lpk/lpkMan.c @@ -54,7 +54,7 @@ Lpk_Man_t * Lpk_ManStart( Lpk_Par_t * pPars ) p->vCover = Vec_IntAlloc( 1 << 12 ); for ( i = 0; i < 8; i++ ) p->vSets[i] = Vec_IntAlloc(100); - p->pDsdMan = Kit_DsdManAlloc( pPars->nVarsMax ); + p->pDsdMan = Kit_DsdManAlloc( pPars->nVarsMax, 64 ); return p; } |