From 61f8112da0224a4e478715fb47128952ac30b041 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 1 Feb 2013 23:56:02 +0800
Subject: Corner-case bug fix in PDR.

---
 src/proof/pdr/pdrCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index 314784d7..548cf7e0 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -552,7 +552,7 @@ int Pdr_ManBlockCube( Pdr_Man_t * p, Pdr_Set_t * pCube )
 int Pdr_ManSolveInt( Pdr_Man_t * p )
 {
     int fPrintClauses = 0;
-    Pdr_Set_t * pCube;
+    Pdr_Set_t * pCube = NULL;
     Aig_Obj_t * pObj;
     int k, RetValue = -1;
     int nOutDigits = Abc_Base10Log( Saig_ManPoNum(p->pAig) );
-- 
cgit v1.2.3