luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix wrong type cast.

This commit is contained in:
Mathias Soeken 2017-03-06 16:34:15 +01:00
parent 1cd5f76800
commit 574cf1022d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/satoko/solver.c
View File

@ -437,7 +437,7 @@ static inline void solver_reduce_cdb(solver_t *s)
limit = (unsigned)(n_learnts * s->opts.learnt_ratio);
satoko_sort((void *)learnts_cls, n_learnts,
satoko_sort((void **)learnts_cls, n_learnts,
(int (*)(const void *, const void *)) clause_compare);
if (learnts_cls[n_learnts / 2]->lbd <= 3)

2
src/sat/xsat/xsatSolver.c
View File

@ -790,7 +790,7 @@ void xSAT_SolverReduceDB( xSAT_Solver_t * s )
limit = nLearnedOld / 2;
xSAT_UtilSort((void *) learnts_cls, nLearnedOld,
xSAT_UtilSort((void **) learnts_cls, nLearnedOld,
(int (*)( const void *, const void * )) xSAT_ClauseCompare);
if ( learnts_cls[nLearnedOld / 2]->nLBD <= 3 )