From faf3bf34af25297baeb454597c7d92aa75778961 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 6 Apr 2014 12:07:04 -0700
Subject: Improvement in SOP balancing.

---
 src/map/if/ifDelay.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/if/ifDelay.c')

diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c
index d5a31850..f2e8399a 100644
--- a/src/map/if/ifDelay.c
+++ b/src/map/if/ifDelay.c
@@ -245,7 +245,7 @@ word If_AigVerifyArray( Vec_Int_t * vAig, int nLeaves, int fCompl )
     }
     else
     {
-        word Truth0, Truth1, TruthR;
+        word Truth0 = 0, Truth1 = 0, TruthR;
         int i, iVar0, iVar1, iLit0, iLit1;
         assert( Vec_IntSize(vAig) & 1 );
         Vec_IntForEachEntryDouble( vAig, iLit0, iLit1, i )
-- 
cgit v1.2.3