summaryrefslogtreecommitdiffstats
path: root/src/sat
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-04-01 15:46:25 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-04-01 15:46:25 +0700
commit57a6f016d2af40b43b430737eefae4efc35ee8e6 (patch)
treec5c0aa21e83bc2116b13a9d3b42fe6228d340901 /src/sat
parent9cee4366866da9a13fa8fe6b14a80b91f13d229d (diff)
downloadabc-57a6f016d2af40b43b430737eefae4efc35ee8e6.tar.gz
abc-57a6f016d2af40b43b430737eefae4efc35ee8e6.tar.bz2
abc-57a6f016d2af40b43b430737eefae4efc35ee8e6.zip
Compiler warning.
Diffstat (limited to 'src/sat')
-rw-r--r--src/sat/bmc/bmcICheck.c2
1 files changed, 1 insertions, 1 deletions
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;