diff options
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; } |