diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcHieCec.c | 2 | ||||
| -rw-r--r-- | src/base/abc/abcHieNew.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcHieCec.c b/src/base/abc/abcHieCec.c index 83683398..d9f413e8 100644 --- a/src/base/abc/abcHieCec.c +++ b/src/base/abc/abcHieCec.c @@ -642,7 +642,7 @@ int Abc_NtkCheckRecursive( Abc_Ntk_t * pNtk ) Abc_NtkForEachObj( pModel, pObj, k ) if ( Abc_ObjIsBox(pObj) && pObj->pData == (void *)pModel ) { - printf( "WARNING: Model \"%s\" contains a recursive defition.\n", Abc_NtkName(pModel) ); + printf( "WARNING: Model \"%s\" contains a recursive definition.\n", Abc_NtkName(pModel) ); RetValue = 1; break; } diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c index db619260..d50c274e 100644 --- a/src/base/abc/abcHieNew.c +++ b/src/base/abc/abcHieNew.c @@ -676,7 +676,7 @@ int Au_NtkCheckRecursive( Au_Ntk_t * pNtk ) Au_NtkForEachObj( pModel, pObj, k ) if ( Au_ObjIsBox(pObj) && Au_ObjModel(pObj) == pModel ) { - printf( "WARNING: Model \"%s\" contains a recursive defition.\n", Au_NtkName(pModel) ); + printf( "WARNING: Model \"%s\" contains a recursive definition.\n", Au_NtkName(pModel) ); RetValue = 1; break; } |