summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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;