From 2e56f44c66739f5deeaddce31cce2c081bd21943 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 22 Jul 2017 11:41:17 +0700
Subject: Compiler warnings.

---
 src/aig/gia/giaCSat.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaCSat.c')

diff --git a/src/aig/gia/giaCSat.c b/src/aig/gia/giaCSat.c
index 65cf2961..e0e0e315 100644
--- a/src/aig/gia/giaCSat.c
+++ b/src/aig/gia/giaCSat.c
@@ -860,7 +860,7 @@ int Cbs_ManPropagate( Cbs_Man_t * p, int Level )
 int Cbs_ManSolve_rec( Cbs_Man_t * p, int Level )
 { 
     Cbs_Que_t * pQue = &(p->pClauses);
-    Gia_Obj_t * pVar, * pDecVar;
+    Gia_Obj_t * pVar = NULL, * pDecVar;
     int hClause, hLearn0, hLearn1;
     int iPropHead, iJustHead, iJustTail;
     // propagate assignments
-- 
cgit v1.2.3