From 609be7a1144a898143819842e34e637865d4e24b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Jul 2015 15:04:26 -0700 Subject: C++ compiler typecast problem. --- src/base/wlc/wlcSim.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/wlc/wlcSim.c') diff --git a/src/base/wlc/wlcSim.c b/src/base/wlc/wlcSim.c index 8b0f041b..b0cea038 100644 --- a/src/base/wlc/wlcSim.c +++ b/src/base/wlc/wlcSim.c @@ -169,7 +169,7 @@ Vec_Ptr_t * Wlc_NtkSimulate( Wlc_Ntk_t * p, Vec_Int_t * vNodes, int nWords, int for ( k = 0; k < nBits; k++ ) { int iLit = Vec_IntEntry( &p->vBits, iFirst + k ); - word * pInfo = Vec_VecEntryEntry( (Vec_Vec_t *)vRes, i, k ); + word * pInfo = (word*)Vec_VecEntryEntry( (Vec_Vec_t *)vRes, i, k ); if ( iLit == -1 ) { Counter++; @@ -220,7 +220,7 @@ void Wlc_NtkSimulatePrint( Wlc_Ntk_t * p, Vec_Int_t * vNodes, Vec_Ptr_t * vRes, int nBits = Wlc_ObjRange(pWlcObj); for ( k = nBits-1; k >= 0; k-- ) { - word * pInfo = Vec_VecEntryEntry( (Vec_Vec_t *)vRes, i, k ); + word * pInfo = (word*)Vec_VecEntryEntry( (Vec_Vec_t *)vRes, i, k ); printf( "%d", Abc_InfoHasBit((unsigned *)pInfo, iPat) ); } printf( " " ); -- cgit v1.2.3