From 2d316b86e29704c28487533518bf67f2672fcd8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Feb 2012 00:06:39 -0800
Subject: Silencing some of the gcc warnings.

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

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

diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c
index 85c8625d..917f9f53 100644
--- a/src/map/if/ifDec10.c
+++ b/src/map/if/ifDec10.c
@@ -480,7 +480,7 @@ printf( "\n" );
 int If_CutPerformCheck10( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr )
 {
     int nSupp, fDerive = 0;
-    word z[2] = {0}, pF[16];
+    word pF[16];
     if ( nLeaves <= 6 )
         return 1;
     If_Dec10Copy( pF, (word *)pTruth, nVars );
-- 
cgit v1.2.3