From b6ab511310a7f0b80e9af363e4535f69f623f64f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 8 Jan 2013 13:19:55 +0800 Subject: Fixing C++ compilation issues. --- src/opt/dau/dauTree.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/opt/dau') 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 && -- cgit v1.2.3