diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-08 14:12:49 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-08 14:12:49 -0800 |
| commit | cf24a0eb0c630e19bf1d81622fc05327371c63cf (patch) | |
| tree | 97e7343e41ad495df7b7ee53e939e14aa051507b /src/aig/gia/giaSatoko.c | |
| parent | de4bf41c53665ca8389d74b15be24ab407e8ff65 (diff) | |
| download | abc-cf24a0eb0c630e19bf1d81622fc05327371c63cf.tar.gz abc-cf24a0eb0c630e19bf1d81622fc05327371c63cf.tar.bz2 abc-cf24a0eb0c630e19bf1d81622fc05327371c63cf.zip | |
Compiler warning.
Diffstat (limited to 'src/aig/gia/giaSatoko.c')
| -rw-r--r-- | src/aig/gia/giaSatoko.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |