diff options
Diffstat (limited to 'src/opt/ret/retInit.c')
-rw-r--r-- | src/opt/ret/retInit.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/ret/retInit.c b/src/opt/ret/retInit.c index 3eb80da1..b53ceeae 100644 --- a/src/opt/ret/retInit.c +++ b/src/opt/ret/retInit.c @@ -281,7 +281,6 @@ void Abc_NtkRetimeBackwardInitialFinish( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, Abc_NtkForEachObj( pNtk, pObj, i ) if ( Abc_ObjIsLatch(pObj) ) Abc_ObjAddFanin( pObj->pCopy, Abc_NtkCreatePi(pNtkNew) ); - pObj = Abc_NtkPo(pNtkNew, 0); // assign dummy node names Abc_NtkAddDummyPiNames( pNtkNew ); Abc_NtkAddDummyPoNames( pNtkNew ); |