From 83f1f27307acd78859087bd0bbf5cfd5d4102d90 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 11 Jul 2012 15:53:59 -0700
Subject: Silencing warnings.

---
 src/sat/bsat/satSolver2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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;
-- 
cgit v1.2.3