From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 14:17:12 -0700
Subject: Fixed a number of small bugs and memory leaks.

---
 src/aig/bbr/bbrReach.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/bbr')

diff --git a/src/aig/bbr/bbrReach.c b/src/aig/bbr/bbrReach.c
index ef355992..9c6dced3 100644
--- a/src/aig/bbr/bbrReach.c
+++ b/src/aig/bbr/bbrReach.c
@@ -245,7 +245,7 @@ int Aig_ManComputeReachable( DdManager * dd, Aig_Man_t * p, DdNode ** pbParts, D
     DdNode * bNext = NULL; // Suppress "might be used uninitialized"
     DdNode * bTemp;
     Cudd_ReorderingType method;
-    int i, nIters, nBddSize, status;
+    int i, nIters, nBddSize = 0, status;
     int nThreshold = 10000, clk = clock();
     Vec_Ptr_t * vOnionRings;
 
-- 
cgit v1.2.3