diff options
Diffstat (limited to 'src/proof/cec/cecCorr.c')
| -rw-r--r-- | src/proof/cec/cecCorr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c index 6f3ce785..618d43d4 100644 --- a/src/proof/cec/cecCorr.c +++ b/src/proof/cec/cecCorr.c @@ -459,7 +459,7 @@ int Cec_ManLoadCounterExamples( Vec_Ptr_t * vInfo, Vec_Int_t * vCexStore, int iS Vec_Ptr_t * vPres; int nWords = Vec_PtrReadWordsSimInfo(vInfo); int nBits = 32 * nWords; - int k, nSize, iBit = 1, kMax = 0; + int k, nSize, kMax = 0;//, iBit = 1; vPat = Vec_IntAlloc( 100 ); vPres = Vec_PtrAllocSimInfo( Vec_PtrSize(vInfo), nWords ); Vec_PtrCleanSimInfo( vPres, 0, nWords ); |