From ccaa96549ff1d5dabbd95fdce4777a104ea9c139 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 29 May 2014 10:39:55 -0700
Subject: Fixing the problem with 'phase -c'.

---
 src/misc/extra/extraUtilSupp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc/extra')

diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c
index 3cb0296e..c42a35f6 100644
--- a/src/misc/extra/extraUtilSupp.c
+++ b/src/misc/extra/extraUtilSupp.c
@@ -648,7 +648,7 @@ void Abc_SuppReadMinTest( char * pFileName )
 {
     int fVerbose = 0;
     abctime clk = Abc_Clock();
-    word Matrix[64];
+//    word Matrix[64];
     int nVars, nVarsMin;
     Vec_Wrd_t * vPairs, * vCubes;
     vCubes = Abc_SuppReadMin( pFileName, &nVars );
-- 
cgit v1.2.3