diff options
Diffstat (limited to 'src/map/mpm/mpmMan.c')
-rw-r--r-- | src/map/mpm/mpmMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index ae3bfc32..d2777b57 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -83,7 +83,7 @@ Mpm_Man_t * Mpm_ManStart( Mig_Man_t * pMig, Mpm_Par_t * pPars ) p->vTtMem = Vec_MemAlloc( p->nTruWords, 12 ); // 32 KB/page for 6-var functions Vec_MemHashAlloc( p->vTtMem, 10000 ); p->funcCst0 = Vec_MemHashInsert( p->vTtMem, p->Truth ); - Abc_TtUnit( p->Truth, p->nTruWords ); + Abc_TtUnit( p->Truth, p->nTruWords, 0 ); p->funcVar0 = Vec_MemHashInsert( p->vTtMem, p->Truth ); } else if ( p->pPars->fUseDsd ) |