From 2379dea445da742b260adb68bbd17d0f71c684f4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 22 Jul 2012 16:52:24 -0700
Subject: Recording and reusing learned util clauses in bmc3.

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

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

diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c
index 38e51f11..4532a90b 100644
--- a/src/aig/gia/giaAbsRef.c
+++ b/src/aig/gia/giaAbsRef.c
@@ -327,7 +327,7 @@ int Rnm_ManSensitize( Rnm_Man_t * p )
 void Rnm_ManJustifyPropFanout_rec( Rnm_Man_t * p, Gia_Obj_t * pObj, int f, Vec_Int_t * vSelect )
 {
     Rnm_Obj_t * pRnm0, * pRnm1, * pRnm = Rnm_ManObj( p, pObj, f );
-    Gia_Obj_t * pFanout;
+    Gia_Obj_t * pFanout = NULL;
     int i, k;//, Id = Gia_ObjId(p->pGia, pObj);
     assert( pRnm->fVisit == 0 );
     pRnm->fVisit = 1;
-- 
cgit v1.2.3