diff options
Diffstat (limited to 'src/aig/gia/giaEra2.c')
| -rw-r--r-- | src/aig/gia/giaEra2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaEra2.c b/src/aig/gia/giaEra2.c index dedbc032..b3e516eb 100644 --- a/src/aig/gia/giaEra2.c +++ b/src/aig/gia/giaEra2.c @@ -1557,8 +1557,8 @@ int Gia_ManAreDeriveNexts_rec( Gia_ManAre_t * p, Gia_PtrAre_t Sta ) return p->fStopped; } // remember values in the cone and perform update - vTfos = (Vec_Int_t *)Vec_VecEntry( p->vCiTfos, Gia_ObjCioId(pPivot) ); - vLits = (Vec_Int_t *)Vec_VecEntry( p->vCiLits, Gia_ObjCioId(pPivot) ); + vTfos = Vec_VecEntryInt( p->vCiTfos, Gia_ObjCioId(pPivot) ); + vLits = Vec_VecEntryInt( p->vCiLits, Gia_ObjCioId(pPivot) ); assert( Vec_IntSize(vTfos) == Vec_IntSize(vLits) ); Gia_ManForEachObjVec( vTfos, p->pAig, pObj, i ) { |