diff options
Diffstat (limited to 'src/opt/ret/retIncrem.c')
-rw-r--r-- | src/opt/ret/retIncrem.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/ret/retIncrem.c b/src/opt/ret/retIncrem.c index ea6fc9ab..c322f61b 100644 --- a/src/opt/ret/retIncrem.c +++ b/src/opt/ret/retIncrem.c @@ -169,8 +169,8 @@ int Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st__table * tLatches, int nI // this is a new latch pLatchIn = Abc_NtkCreateBi(pNtk); pLatchOut = Abc_NtkCreateBo(pNtk); - Abc_ObjAssignName( pLatchOut, Abc_ObjName(pLatch), "_out" ); - Abc_ObjAssignName( pLatchIn, Abc_ObjName(pLatch), "_in" ); + Abc_ObjAssignName( pLatchOut, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_o2" ); + Abc_ObjAssignName( pLatchIn, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_i2" ); } else { |