diff options
| -rw-r--r-- | src/aig/gia/giaIso2.c | 5 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 2 |
2 files changed, 3 insertions, 4 deletions
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; diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 8b791af4..eb5aa001 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -31553,7 +31553,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Gia_Man_t * pTemp = NULL; +// Gia_Man_t * pTemp = NULL; int c, fVerbose = 0; int fSwitch = 0; // extern Gia_Man_t * Gia_VtaTest( Gia_Man_t * p ); |