summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBaruch Sterin <baruchs@gmail.com>2017-11-23 23:32:41 -0800
committerBaruch Sterin <baruchs@gmail.com>2017-11-23 23:32:41 -0800
commitd37cc72417614453e4e8535694426d953f421459 (patch)
treea032289a12fe3053584cf16189e0ecb753c27ce2
parentecccfe0ed55ce239e690d41dad5c9f8499c3a694 (diff)
downloadabc-d37cc72417614453e4e8535694426d953f421459.tar.gz
abc-d37cc72417614453e4e8535694426d953f421459.tar.bz2
abc-d37cc72417614453e4e8535694426d953f421459.zip
C++ compatibility: cast returned void*
-rw-r--r--src/aig/gia/giaCex.c4
1 files 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 );