diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-17 21:54:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-17 21:54:50 -0700 |
| commit | 720d0252340c52f24e2befba826f8c0fb5201fda (patch) | |
| tree | 925c02bf35ea8eaa68a552e69365a52a59b0897e /src | |
| parent | 22406e71014007e662f20402035eed258fe0169c (diff) | |
| download | abc-720d0252340c52f24e2befba826f8c0fb5201fda.tar.gz abc-720d0252340c52f24e2befba826f8c0fb5201fda.tar.bz2 abc-720d0252340c52f24e2befba826f8c0fb5201fda.zip | |
Complier fix.
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 ); |