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/pla | |
| parent | 4f2d2e0e962a395174679def7cf4de217f559635 (diff) | |
| download | abc-609be7a1144a898143819842e34e637865d4e24b.tar.gz abc-609be7a1144a898143819842e34e637865d4e24b.tar.bz2 abc-609be7a1144a898143819842e34e637865d4e24b.zip | |
C++ compiler typecast problem.
Diffstat (limited to 'src/base/pla')
| -rw-r--r-- | src/base/pla/plaRead.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/pla/plaRead.c b/src/base/pla/plaRead.c index 74d79618..13d8bf59 100644 --- a/src/base/pla/plaRead.c +++ b/src/base/pla/plaRead.c @@ -177,9 +177,9 @@ void Pla_ReadAddBody( Pla_Man_t * p, Vec_Str_t * vLits ) Pla_ForEachCubeInOut( p, pCubeIn, pCubeOut, i ) { Pla_CubeForEachLit( p->nIns, pCubeIn, Lit, k ) - Pla_CubeSetLit( pCubeIn, k, (int)Vec_StrEntry(vLits, Count++) ); + Pla_CubeSetLit( pCubeIn, k, (Pla_Lit_t)Vec_StrEntry(vLits, Count++) ); Pla_CubeForEachLit( p->nOuts, pCubeOut, Lit, k ) - Pla_CubeSetLit( pCubeOut, k, (int)Vec_StrEntry(vLits, Count++) ); + Pla_CubeSetLit( pCubeOut, k, (Pla_Lit_t)Vec_StrEntry(vLits, Count++) ); } assert( Count == Vec_StrSize(vLits) ); } @@ -195,13 +195,13 @@ Pla_Man_t * Pla_ReadPla( char * pFileName ) Pla_ReadPlaRemoveComments( pBuffer, pLimit ); if ( Pla_ReadPlaHeader( pBuffer, pLimit, &nIns, &nOuts, &nCubes, &Type ) ) { - vLits = Pla_ReadPlaBody( pBuffer, pLimit, Type ); + vLits = Pla_ReadPlaBody( pBuffer, pLimit, (Pla_File_t)Type ); if ( Vec_StrSize(vLits) % (nIns + nOuts) == 0 ) { if ( nCubes == -1 ) nCubes = Vec_StrSize(vLits) / (nIns + nOuts); p = Pla_ManAlloc( pFileName, nIns, nOuts, nCubes ); - p->Type = Type; + p->Type = (Pla_File_t)Type; Pla_ReadAddBody( p, vLits ); Vec_StrFree( vLits ); ABC_FREE( pBuffer ); |