From d37cc72417614453e4e8535694426d953f421459 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Thu, 23 Nov 2017 23:32:41 -0800 Subject: C++ compatibility: cast returned void* --- src/aig/gia/giaCex.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aig/gia/giaCex.c b/src/aig/gia/giaCex.c index d442ae17..88e8c717 100644 --- a/src/aig/gia/giaCex.c +++ b/src/aig/gia/giaCex.c @@ -462,9 +462,9 @@ void Gia_ManMinCex( Gia_Man_t * p, Abc_Cex_t * pCex ) // SAT instance clk = Abc_Clock(); pFrames = Gia_ManFramesForCexMin( p, pCex->iFrame + 1 ); - pCnf = Mf_ManGenerateCnf( pFrames, 8, 0, 0, 0, 0 ); + pCnf = (Cnf_Dat_t*)Mf_ManGenerateCnf( pFrames, 8, 0, 0, 0, 0 ); iFirstVar = pCnf->nVars - (pCex->iFrame+1) * pCex->nPis; - pSat = Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); + pSat = (sat_solver*)Cnf_DataWriteIntoSolver( pCnf, 1, 0 ); iLit = Abc_Var2Lit( 1, 1 ); status = sat_solver_addclause( pSat, &iLit, &iLit + 1 ); assert( status ); -- cgit v1.2.3