diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/fxch/FxchMan.c | 4 |
1 files 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 ); |