diff options
Diffstat (limited to 'src/aig/mfx')
| -rw-r--r-- | src/aig/mfx/mfxCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/mfx/mfxCore.c b/src/aig/mfx/mfxCore.c index 8867f7c1..48107e7e 100644 --- a/src/aig/mfx/mfxCore.c +++ b/src/aig/mfx/mfxCore.c @@ -245,7 +245,7 @@ int Mfx_Perform( Nwk_Man_t * pNtk, Mfx_Par_t * pPars, If_Lib_t * pLutLib ) p->nFaninMax = nFaninMax; if ( !pPars->fResub ) { - pDecPars->nVarsMax = nFaninMax; + pDecPars->nVarsMax = (nFaninMax < 3) ? 3 : nFaninMax; pDecPars->fVerbose = pPars->fVerbose; p->vTruth = Vec_IntAlloc( 0 ); p->pManDec = Bdc_ManAlloc( pDecPars ); |