From 720d0252340c52f24e2befba826f8c0fb5201fda Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Jun 2016 21:54:50 -0700
Subject: Complier fix.

---
 src/opt/fxch/FxchMan.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/opt/fxch/FxchMan.c b/src/opt/fxch/FxchMan.c
index 19886ea5..44695f91 100644
--- a/src/opt/fxch/FxchMan.c
+++ b/src/opt/fxch/FxchMan.c
@@ -470,7 +470,7 @@ static inline int Fxch_ManCreateCube( Fxch_Man_t* pFxchMan,
 void Fxch_ManUpdate( Fxch_Man_t* pFxchMan,
                      int iDiv )
 {
-    int i, iCube0, iCube1,
+    int i, k, iCube0, iCube1,
         Lit0 = -1,
         Lit1 = -1,
         iVarNew;
@@ -534,7 +534,7 @@ void Fxch_ManUpdate( Fxch_Man_t* pFxchMan,
         if ( iCube0 < Vec_IntSize(pFxchMan->pSCHashTable->vCubeLinks) )
             Fxch_ManDivDoubleCube( pFxchMan, iCube0, 0, 1 ); /* remove (fAdd = 0) - fUpdate = 1 */
 
-    int k = 0;
+    k = 0;
     if ( Fxch_DivIsNotConstant1( pFxchMan->vDiv ) )
     {
         iVarNew = Fxch_ManCreateCube( pFxchMan, Lit0, Lit1 );
-- 
cgit v1.2.3