diff options
Diffstat (limited to 'src/base/abci/abcMfs.c')
| -rw-r--r-- | src/base/abci/abcMfs.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c index dfd950dc..aa2a702e 100644 --- a/src/base/abci/abcMfs.c +++ b/src/base/abci/abcMfs.c @@ -232,7 +232,9 @@ int Abc_NtkPerformMfs( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars ) nNodes = Sfm_NtkPerform( p, pPars ); // call the fast extract procedure if ( nNodes == 0 ) - Abc_Print( 1, "The network is not changed by \"mfs\".\n" ); + { +// Abc_Print( 1, "The network is not changed by \"mfs\".\n" ); + } else { Abc_NtkInsertMfs( pNtk, p ); |