diff options
Diffstat (limited to 'src/base/cba')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 2 | ||||
| -rw-r--r-- | src/base/cba/cbaPtrAbc.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index a37a60cf..b7684b73 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -323,7 +323,7 @@ void Cba_ManAssignInternWordNamesNtk( Cba_Ntk_t * p, Vec_Int_t * vMap ) } else { - int Type = Cba_ObjType(p, iObj); + //int Type = Cba_ObjType(p, iObj); int Range = Cba_ObjIsPi(p, iObj) ? Cba_ObjPiRange(p, iObj) : Cba_BoxBoRange(p, iObj); iName = Cba_ManAssignInternTwo( p, nNames++, nDigits, Cba_ObjIsPi(p, iObj), vMap ); if ( Range == 1 ) diff --git a/src/base/cba/cbaPtrAbc.c b/src/base/cba/cbaPtrAbc.c index 38391004..b2c635ca 100644 --- a/src/base/cba/cbaPtrAbc.c +++ b/src/base/cba/cbaPtrAbc.c @@ -345,7 +345,7 @@ int Cba_NtkDeriveFromPtr( Cba_Ntk_t * pNtk, Vec_Ptr_t * vNtk, Vec_Int_t * vMap, } // update map Cba_NtkForEachCi( pNtk, iObj ) - Vec_IntSetEntryFull( vMap, Cba_ObjName(pNtk, iObj), -1 ); + Vec_IntSetEntryFull( vMap, Cba_ObjNameId(pNtk, iObj), -1 ); // double check Vec_IntForEachEntry( vMap, iObj, i ) assert( iObj == -1 ); |