diff options
Diffstat (limited to 'src/opt/sfm/sfmDec.c')
| -rw-r--r-- | src/opt/sfm/sfmDec.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/opt/sfm/sfmDec.c b/src/opt/sfm/sfmDec.c index bce20624..c5af0ac0 100644 --- a/src/opt/sfm/sfmDec.c +++ b/src/opt/sfm/sfmDec.c @@ -2152,6 +2152,11 @@ void Abc_NtkPerformMfs3( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars ) if ( pPars->fLibVerbose ) Sfm_LibPrint( p->pLib ); Sfm_DecStop( p ); + if ( pPars->fArea ) + { + extern void Abc_NtkChangePerform( Abc_Ntk_t * pNtk, int fVerbose ); + Abc_NtkChangePerform( pNtk, pPars->fVerbose ); + } } //////////////////////////////////////////////////////////////////////// |