diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:19:55 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:19:55 +0800 |
| commit | b6ab511310a7f0b80e9af363e4535f69f623f64f (patch) | |
| tree | 3c063d9624176e6a95e0de1edfbf00decc257384 /src/opt | |
| parent | 08a9f58aba0cce90b218b3c92dd63ce7f2735c69 (diff) | |
| download | abc-b6ab511310a7f0b80e9af363e4535f69f623f64f.tar.gz abc-b6ab511310a7f0b80e9af363e4535f69f623f64f.tar.bz2 abc-b6ab511310a7f0b80e9af363e4535f69f623f64f.zip | |
Fixing C++ compilation issues.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauTree.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 5b594c56..db883764 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -826,7 +826,7 @@ void Dss_ManHashProfile( Dss_Man_t * p ) for ( i = 0; i < p->nBins; i++ ) { Counter = 0; - for ( pSpot = p->pBins + i; *pSpot; pSpot = Vec_IntEntryP(p->vNexts, pObj->Id), Counter++ ) + for ( pSpot = p->pBins + i; *pSpot; pSpot = (unsigned *)Vec_IntEntryP(p->vNexts, pObj->Id), Counter++ ) pObj = Dss_VecObj( p->vObjs, *pSpot ); if ( Counter ) printf( "%d ", Counter ); @@ -854,7 +854,7 @@ unsigned * Dss_ObjHashLookup( Dss_Man_t * p, int Type, Vec_Int_t * vFaninLits, w { Dss_Obj_t * pObj; unsigned * pSpot = p->pBins + Dss_ObjHashKey(p, Type, vFaninLits, pTruth); - for ( ; *pSpot; pSpot = Vec_IntEntryP(p->vNexts, pObj->Id) ) + for ( ; *pSpot; pSpot = (unsigned *)Vec_IntEntryP(p->vNexts, pObj->Id) ) { pObj = Dss_VecObj( p->vObjs, *pSpot ); if ( (int)pObj->Type == Type && |