diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 12:23:50 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 12:23:50 -0700 |
commit | 964c5cd5df28a3831c972362cc004ca61f51347a (patch) | |
tree | 95f6ca6926e2ee5f0da38cccb66d5054d0038f2b /src/opt/mfs/mfsCore_.c | |
parent | 22806448c1e700f260e6b8020280c792c502d265 (diff) | |
download | abc-964c5cd5df28a3831c972362cc004ca61f51347a.tar.gz abc-964c5cd5df28a3831c972362cc004ca61f51347a.tar.bz2 abc-964c5cd5df28a3831c972362cc004ca61f51347a.zip |
Typo in the comment.
Diffstat (limited to 'src/opt/mfs/mfsCore_.c')
-rw-r--r-- | src/opt/mfs/mfsCore_.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } } |