diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c
index bcd1921d8..86ba6ed59 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;