From 23151498faa67c0dd7de23d8fedb1a2976f12a88 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 26 Mar 2017 20:35:31 -0700
Subject: Experiments with don't-cares.

---
 src/base/acb/acbMfs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/acb/acbMfs.c')

diff --git a/src/base/acb/acbMfs.c b/src/base/acb/acbMfs.c
index 0f7dac45..9a1ff847 100644
--- a/src/base/acb/acbMfs.c
+++ b/src/base/acb/acbMfs.c
@@ -842,7 +842,7 @@ static inline void Vec_IntRemap( Vec_Int_t * p, Vec_Int_t * vMap )
 void Acb_NtkOptNode( Acb_Ntk_t * p, int Pivot, int nTabooMax, int nDivMax, int nTfoLevs, int nFanMax, int nLutSize )
 {
     Cnf_Dat_t * pCnf;
-    Vec_Int_t * vWin, * vSupp;
+    Vec_Int_t * vWin, * vSupp = NULL;
     sat_solver * pSat1 = NULL, * pSat2 = NULL, * pSat3 = NULL;
     int c, nSuppNew, PivotVar, nDivs = 0;
     int pTaboo[16], nTaboo = Acb_NtkCollectTaboo( p, Pivot, nTabooMax, pTaboo );
-- 
cgit v1.2.3