diff options
| -rw-r--r-- | src/opt/mfs/mfsCore.c | 4 | ||||
| -rw-r--r-- | src/opt/mfs/mfsCore_.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c index 8482d7a3..fe7a1852 100644 --- a/src/opt/mfs/mfsCore.c +++ b/src/opt/mfs/mfsCore.c @@ -392,7 +392,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) { if ( nFaninMax > 8 ) { - printf( "Nodes with more than %d fanins will node be processed.\n", 8 ); + printf( "Nodes with more than %d fanins will not be processed.\n", 8 ); nFaninMax = 8; } } @@ -400,7 +400,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) { if ( nFaninMax > MFS_FANIN_MAX ) { - printf( "Nodes with more than %d fanins will node be processed.\n", MFS_FANIN_MAX ); + printf( "Nodes with more than %d fanins will not be processed.\n", MFS_FANIN_MAX ); nFaninMax = MFS_FANIN_MAX; } } diff --git a/src/opt/mfs/mfsCore_.c b/src/opt/mfs/mfsCore_.c index 659a82fc..ceee04cf 100644 --- a/src/opt/mfs/mfsCore_.c +++ b/src/opt/mfs/mfsCore_.c @@ -225,7 +225,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) { if ( nFaninMax > 8 ) { - printf( "Nodes with more than %d fanins will node be processed.\n", 8 ); + printf( "Nodes with more than %d fanins will not be processed.\n", 8 ); nFaninMax = 8; } } @@ -233,7 +233,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) { if ( nFaninMax > MFS_FANIN_MAX ) { - printf( "Nodes with more than %d fanins will node be processed.\n", MFS_FANIN_MAX ); + printf( "Nodes with more than %d fanins will not be processed.\n", MFS_FANIN_MAX ); nFaninMax = MFS_FANIN_MAX; } } |