From 97856d021a1282cf3fb9a86701fff3ec403fe912 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 16 Feb 2012 23:40:23 -0800 Subject: Silencing some of the gcc warnings. --- src/proof/cec/cecCorr.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/cec') 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 ); -- cgit v1.2.3