From 57a6f016d2af40b43b430737eefae4efc35ee8e6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 1 Apr 2015 15:46:25 +0700
Subject: Compiler warning.

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

(limited to 'src/sat')

diff --git a/src/sat/bmc/bmcICheck.c b/src/sat/bmc/bmcICheck.c
index 7453e01a..a779b1ed 100644
--- a/src/sat/bmc/bmcICheck.c
+++ b/src/sat/bmc/bmcICheck.c
@@ -373,7 +373,7 @@ int Bmc_PerformISearchOne( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fRev
     Gia_Man_t * pMiter, * pTemp;
     Cnf_Dat_t * pCnf;
     sat_solver * pSat;
-    Vec_Int_t * vRegs;
+    Vec_Int_t * vRegs = NULL;
 //    Vec_Int_t * vLits;
     int i, Iter, status;
     int nLitsUsed, RetValue = 0;
-- 
cgit v1.2.3