diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 10:12:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 10:12:00 -0700 |
| commit | e33d6e8d9d8f84c2f06bd251d459e758714aed57 (patch) | |
| tree | 5cb7a873e69f4d686699c9a651c2993016a4c1be /src/opt/fxch | |
| parent | fe6a647f372224d367ffad92b8f4e0b189a079b8 (diff) | |
| download | abc-e33d6e8d9d8f84c2f06bd251d459e758714aed57.tar.gz abc-e33d6e8d9d8f84c2f06bd251d459e758714aed57.tar.bz2 abc-e33d6e8d9d8f84c2f06bd251d459e758714aed57.zip | |
Small changes to compile on Windows.
Diffstat (limited to 'src/opt/fxch')
| -rw-r--r-- | src/opt/fxch/FxchSCHashTable.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/opt/fxch/FxchSCHashTable.c b/src/opt/fxch/FxchSCHashTable.c index 669d92c2..1bf7e8b3 100644 --- a/src/opt/fxch/FxchSCHashTable.c +++ b/src/opt/fxch/FxchSCHashTable.c @@ -345,6 +345,12 @@ int Fxch_SCHashTableRemove( Fxch_SCHashTable_t* pSCHashTable, int Base, iDiv; + int i, + iCube0, + iCube1; + + Vec_Int_t* vDivCubePairs; + pNextEntry = Fxch_SCHashTableBin( pSCHashTable, iNextEntry ); if ( !Fxch_SCHashTableEntryCompare( pSCHashTable, vCubes, &( pEntry->SCData ), &( pNextEntry->SCData ) ) @@ -362,11 +368,7 @@ int Fxch_SCHashTableRemove( Fxch_SCHashTable_t* pSCHashTable, iDiv = Fxch_DivRemove( pSCHashTable->pFxchMan, fUpdate, 0, Base ); - int i, - iCube0, - iCube1; - - Vec_Int_t* vDivCubePairs = Vec_WecEntry( pSCHashTable->pFxchMan->vDivCubePairs, iDiv ); + vDivCubePairs = Vec_WecEntry( pSCHashTable->pFxchMan->vDivCubePairs, iDiv ); Vec_IntForEachEntryDouble( vDivCubePairs, iCube0, iCube1, i ) if ( ( iCube0 == (int)pNextEntry->SCData.iCube && iCube1 == (int)pEntry->SCData.iCube ) || ( iCube0 == (int)pEntry->SCData.iCube && iCube1 == (int)pNextEntry->SCData.iCube ) ) |