From 1f573cfe580591f7ed994b4cb24edbd9916d3d91 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 1 May 2013 00:13:29 -0700 Subject: Compiler warnings. --- src/aig/gia/giaIso2.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'src/aig/gia/giaIso2.c') diff --git a/src/aig/gia/giaIso2.c b/src/aig/gia/giaIso2.c index 520af61d..e878e19f 100644 --- a/src/aig/gia/giaIso2.c +++ b/src/aig/gia/giaIso2.c @@ -291,7 +291,7 @@ int Gia_Iso2ManUniqify( Gia_Iso2Man_t * p ) Gia_ManForEachObjVec( p->vTied, p->pGia, pObj, i ) { printf( "%3d : ", Gia_ObjId(p->pGia, pObj) ); -// Extra_PrintBinary( stdout, &pObj->Value, 32 ); + Extra_PrintBinary( stdout, &pObj->Value, 32 ); printf( "\n" ); } #endif @@ -300,8 +300,7 @@ int Gia_Iso2ManUniqify( Gia_Iso2Man_t * p ) Vec_IntClear( p->vPlaces ); Gia_ManForEachObjVec( p->vTied, p->pGia, pObj, i ) { - int iObjId = Gia_ObjId(p->pGia, pObj); - for ( k = pObj->Value % nSize; pTemp = pTable[k] ? Gia_ManObj(p->pGia, pTable[k]) : NULL; k = (k + 1) % nSize ) + for ( k = pObj->Value % nSize; (pTemp = pTable[k] ? Gia_ManObj(p->pGia, pTable[k]) : NULL); k = (k + 1) % nSize ) if ( pTemp->Value == pObj->Value ) { pTemp->fMark0 = 1; -- cgit v1.2.3