summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-05-09 12:23:50 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-05-09 12:23:50 -0700
commit964c5cd5df28a3831c972362cc004ca61f51347a (patch)
tree95f6ca6926e2ee5f0da38cccb66d5054d0038f2b /src
parent22806448c1e700f260e6b8020280c792c502d265 (diff)
downloadabc-964c5cd5df28a3831c972362cc004ca61f51347a.tar.gz
abc-964c5cd5df28a3831c972362cc004ca61f51347a.tar.bz2
abc-964c5cd5df28a3831c972362cc004ca61f51347a.zip
Typo in the comment.
Diffstat (limited to 'src')
-rw-r--r--src/opt/mfs/mfsCore.c4
-rw-r--r--src/opt/mfs/mfsCore_.c4
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;
}
}