diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-08 15:04:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-08 15:04:26 -0700 |
| commit | 609be7a1144a898143819842e34e637865d4e24b (patch) | |
| tree | 1830448562b2c0513b6acef7897193004d915dd5 /src/base/wlc | |
| parent | 4f2d2e0e962a395174679def7cf4de217f559635 (diff) | |
| download | abc-609be7a1144a898143819842e34e637865d4e24b.tar.gz abc-609be7a1144a898143819842e34e637865d4e24b.tar.bz2 abc-609be7a1144a898143819842e34e637865d4e24b.zip | |
C++ compiler typecast problem.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcSim.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 48acd73d..e7ee4d16 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -91,7 +91,7 @@ static inline char * Smt_GetTypeName( Smt_LineType_t Type ) } static inline void Smt_AddTypes( Abc_Nam_t * p ) { - int Type; + Smt_LineType_t Type; for ( Type = 1; Type < SMT_PRS_END; Type++ ) Abc_NamStrFindOrAdd( p, Smt_GetTypeName(Type), NULL ); assert( Abc_NamObjNumMax(p) == SMT_PRS_END ); 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( " " ); |