diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index bcd1921d..86ba6ed5 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -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; |