From cf24a0eb0c630e19bf1d81622fc05327371c63cf Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Feb 2017 14:12:49 -0800 Subject: Compiler warning. --- src/aig/gia/giaSatoko.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/aig/gia/giaSatoko.c b/src/aig/gia/giaSatoko.c index 62bc7713..5506c7e4 100644 --- a/src/aig/gia/giaSatoko.c +++ b/src/aig/gia/giaSatoko.c @@ -54,7 +54,7 @@ satoko_t * Gia_ManCreateSatoko( Gia_Man_t * p ) //sat_solver_setnvars( pSat, p->nVars ); for ( i = 0; i < pCnf->nClauses; i++ ) { - if ( !satoko_add_clause( pSat, pCnf->pClauses[i], pCnf->pClauses[i+1]-pCnf->pClauses[i] ) ) + if ( !satoko_add_clause( pSat, (unsigned *)pCnf->pClauses[i], pCnf->pClauses[i+1]-pCnf->pClauses[i] ) ) { Cnf_DataFree( pCnf ); satoko_destroy( pSat ); -- cgit v1.2.3