diff options
Diffstat (limited to 'src/aig/gia/giaJf.c')
| -rw-r--r-- | src/aig/gia/giaJf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 37c91ec5..176a0cd0 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -371,7 +371,7 @@ Jf_Man_t * Jf_ManAlloc( Gia_Man_t * pGia, Jf_Par_t * pPars ) p->pGia = pGia; p->pPars = pPars; if ( pPars->fCutMin && !pPars->fFuncDsd ) - p->vTtMem = Vec_MemAllocForTT( pPars->nLutSize ); + p->vTtMem = Vec_MemAllocForTT( pPars->nLutSize, 0 ); else if ( pPars->fCutMin && pPars->fFuncDsd ) { p->pDsd = Sdm_ManRead(); |