diff options
Diffstat (limited to 'src/base/abci/abcSweep.c')
-rw-r--r-- | src/base/abci/abcSweep.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/base/abci/abcSweep.c b/src/base/abci/abcSweep.c index 87c90a31..7eae3587 100644 --- a/src/base/abci/abcSweep.c +++ b/src/base/abci/abcSweep.c @@ -972,13 +972,6 @@ int Abc_NtkSweepBufsInvs( Abc_Ntk_t * pNtk, int fVerbose ) pMan = (Hop_Man_t *)pNtk->pManFunc; // label selected nodes Abc_NtkIncrementTravId( pNtk ); - if ( pNtk->vRealNodes ) - { - Abc_Obj_t * pObj; - assert( Vec_IntSize(pNtk->vRealNodes) == Abc_NtkPoNum(pNtk) - pNtk->nRealPos ); - Abc_NtkForEachObjVec( pNtk->vRealNodes, pNtk, pObj, i ) - Abc_NodeSetTravIdCurrent( pObj ); - } // iterate till no improvement while ( fChanges ) { |