Silencing some of the gcc warnings.

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;

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 );