diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 20:23:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 20:23:44 -0700 |
| commit | 9519341aaf8b7448cf946687e1a1fad504b0034d (patch) | |
| tree | face1ba8c1786d21d1e674b71d22ea4b04359c3e /src/map/mpm | |
| parent | 9d67bbe583299c1e1586f6731abc196f15108471 (diff) | |
| download | abc-9519341aaf8b7448cf946687e1a1fad504b0034d.tar.gz abc-9519341aaf8b7448cf946687e1a1fad504b0034d.tar.bz2 abc-9519341aaf8b7448cf946687e1a1fad504b0034d.zip | |
Extending library handling to 8 inputs.
Diffstat (limited to 'src/map/mpm')
| -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 ) |