diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:56:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:56:16 -0700 |
| commit | 7d3301584a82b06e9c6a887e02554bc6a14bec5e (patch) | |
| tree | d80c3fb0cb833d18864df87f46c0b6cda2502be4 | |
| parent | a762c695d7c0d953d644c0c77a2948d378d0d624 (diff) | |
| download | abc-7d3301584a82b06e9c6a887e02554bc6a14bec5e.tar.gz abc-7d3301584a82b06e9c6a887e02554bc6a14bec5e.tar.bz2 abc-7d3301584a82b06e9c6a887e02554bc6a14bec5e.zip | |
New fast extract.
| -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 ) { |