From 7441908ffbafd6bed148596fc53fd503dff6fa32 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 2 Mar 2015 08:38:54 -0800 Subject: Improvements to the CBA package. --- src/base/cba/cbaNtk.c | 2 +- src/base/cba/cbaPtrAbc.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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 ); -- cgit v1.2.3