diff options
| -rw-r--r-- | src/base/abci/abcFx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index 0d58ac9e..77a606f1 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -814,7 +814,7 @@ void Fx_ManFindCommonPairs( Vec_Wec_t * vCubes, Vec_Int_t * vPart0, Vec_Int_t * int * pBeg2 = vPart1->pArray; int * pEnd1 = vPart0->pArray + vPart0->nSize; int * pEnd2 = vPart1->pArray + vPart1->nSize; - int i, k, i_, k_, Counter = 0; + int i, k, i_, k_; Vec_IntClear( vPairs ); while ( pBeg1 < pEnd1 && pBeg2 < pEnd2 ) { |