diff options
Diffstat (limited to 'src/base/abci/abcRenode.c')
-rw-r--r-- | src/base/abci/abcRenode.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRenode.c b/src/base/abci/abcRenode.c index ea2f808c..cfb05aee 100644 --- a/src/base/abci/abcRenode.c +++ b/src/base/abci/abcRenode.c @@ -407,7 +407,7 @@ void Abc_NtkRenodeSetBounds( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax ) continue; if ( pNode->fMarkA == 0 ) continue; - // continue cutting branches ntil it meets the fanin limit + // continue cutting branches until it meets the fanin limit while ( Abc_NtkRenodeLimit(pNode, vCone, nFaninMax) ); assert( vCone->nSize <= nFaninMax ); } |