diff options
Diffstat (limited to 'src/aig/gia/giaIso2.c')
| -rw-r--r-- | src/aig/gia/giaIso2.c | 5 |
1 files changed, 2 insertions, 3 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; |