From fe2d7d961299e41b4d00540df6fb73a4094d5942 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 17 Feb 2012 00:24:38 -0800 Subject: Silencing some of the gcc warnings. --- src/aig/aig/aigDup.c | 2 +- src/sat/bsat/satSolver2.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/aig/aigDup.c b/src/aig/aig/aigDup.c index 59547586..44e7f120 100644 --- a/src/aig/aig/aigDup.c +++ b/src/aig/aig/aigDup.c @@ -1373,7 +1373,7 @@ Aig_Man_t * Aig_ManDupNodes( Aig_Man_t * pMan, Vec_Ptr_t * vArray ) if ( Aig_ObjIsNode(pObj) ) pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); Vec_PtrForEachEntry( Aig_Obj_t *, vArray, pObj, i ) - Aig_ObjCreatePo( pNew, pObj->pData ); + Aig_ObjCreatePo( pNew, (Aig_Obj_t *)pObj->pData ); Aig_ManSetRegNum( pNew, 0 ); Vec_PtrFree( vObjs ); return pNew; diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 80268a73..a17c4762 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1241,7 +1241,7 @@ void sat_solver2_delete(sat_solver2* s) int fVerify = 0; if ( fVerify ) { - veci * pCore = Sat_ProofCore( s ); + veci * pCore = (veci *)Sat_ProofCore( s ); printf( "UNSAT core contains %d clauses (%6.2f %%).\n", veci_size(pCore), 100.0*veci_size(pCore)/veci_size(&s->clauses) ); veci_delete( pCore ); ABC_FREE( pCore ); -- cgit v1.2.3