diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:41 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:41 -0800 |
| commit | d37cc72417614453e4e8535694426d953f421459 (patch) | |
| tree | a032289a12fe3053584cf16189e0ecb753c27ce2 | |
| parent | ecccfe0ed55ce239e690d41dad5c9f8499c3a694 (diff) | |
| download | abc-d37cc72417614453e4e8535694426d953f421459.tar.gz abc-d37cc72417614453e4e8535694426d953f421459.tar.bz2 abc-d37cc72417614453e4e8535694426d953f421459.zip | |
C++ compatibility: cast returned void*
| -rw-r--r-- | src/aig/gia/giaCex.c | 4 |
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 ); |