From f08be2742e892b7b81f234785cbbae85c61ab024 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 27 Oct 2011 23:34:11 -0700 Subject: C++ portability changes. --- src/aig/saig/saigGlaCba.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saigGlaCba.c') diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index ae439631..5c7c76cf 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -394,7 +394,7 @@ int Aig_Gla1ObjAddToSolver( Aig_Gla1Man_t * p, Aig_Obj_t * pObj, int k ) Aig_ObjFaninC0(pObj), Aig_ObjFaninC1(pObj) ); // derive clauses assert( pObj->fMarkA ); - vClauses = Vec_PtrEntry( p->vObj2Cnf, Aig_ObjId(pObj) ); + vClauses = (Vec_Int_t *)Vec_PtrEntry( p->vObj2Cnf, Aig_ObjId(pObj) ); if ( vClauses == NULL ) { Vec_PtrWriteEntry( p->vObj2Cnf, Aig_ObjId(pObj), (vClauses = Vec_IntAlloc(16)) ); -- cgit v1.2.3