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

Silencing warnings.

This commit is contained in:
Alan Mishchenko 2012-07-11 15:53:59 -07:00
parent 719396a2ff
commit 83f1f27307
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/bsat/satSolver2.c
View File

@ -1353,7 +1353,7 @@ void sat_solver2_reducedb(sat_solver2* s)
{
static clock_t TimeTotal = 0;
Sat_Mem_t * pMem = &s->Mem;
clause * c;
clause * c = NULL;
int nLearnedOld = veci_size(&s->act_clas);
int * act_clas = veci_begin(&s->act_clas);
int * pPerm, * pSortValues, nCutoffValue, * pClaProofs;