From 9f5ef0d6184ef9c73591250ef00b18edfd99885b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 31 Aug 2007 08:01:00 -0700 Subject: Version abc70831 --- src/opt/lpk/lpkMan.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt/lpk/lpkMan.c') 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; } -- cgit v1.2.3