diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/cba/cbaNtk.c | 2 | ||||
-rw-r--r-- | src/base/cba/cbaWriteVer.c | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index f24ff589..435cd83a 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -60,7 +60,7 @@ int Cba_ManAssignInternTwo( Cba_Ntk_t * p, int iNum, Vec_Int_t * vMap ) } void Cba_ManPrepareBitNames( Cba_Ntk_t * p, Vec_Int_t * vMap, int * pnNames, Vec_Int_t * vRanges, Vec_Int_t * vNames ) { - int n = 0, i, k, Range; + int i, k, Range; Vec_IntClear( vNames ); Vec_IntForEachEntry( vRanges, Range, i ) { diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index 0480d75d..d2e3f802 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -212,7 +212,6 @@ void Cba_ManWriteLit( Cba_Ntk_t * p, int NameId, int iBit ) } void Cba_ManWriteSig( Cba_Ntk_t * p, int iObj ) { - Vec_Str_t * vStr = p->pDesign->vOut; int iNameId = Cba_ObjName(p, iObj); if ( Cba_NameType(iNameId) == CBA_NAME_BIN ) Cba_ManWriteLit( p, Abc_Lit2Var2(iNameId), -1 ); |