From 2d316b86e29704c28487533518bf67f2672fcd8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Feb 2012 00:06:39 -0800
Subject: Silencing some of the gcc warnings.
---
src/proof/cec/cecSeq.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'src/proof/cec/cecSeq.c')
diff --git a/src/proof/cec/cecSeq.c b/src/proof/cec/cecSeq.c
index 21ed8656..2ccbe524 100644
--- a/src/proof/cec/cecSeq.c
+++ b/src/proof/cec/cecSeq.c
@@ -185,7 +185,7 @@ int Cec_ManSeqResimulateInfo( Gia_Man_t * pAig, Vec_Ptr_t * vSimInfo, Abc_Cex_t
{
Cec_ParSim_t ParsSim, * pParsSim = &ParsSim;
Cec_ManSim_t * pSim;
- int RetValue, clkTotal = clock();
+ int RetValue;//, clkTotal = clock();
assert( (Vec_PtrSize(vSimInfo) - Gia_ManRegNum(pAig)) % Gia_ManPiNum(pAig) == 0 );
Cec_ManSimSetDefaultParams( pParsSim );
pParsSim->nFrames = (Vec_PtrSize(vSimInfo) - Gia_ManRegNum(pAig)) / Gia_ManPiNum(pAig);
--
cgit v1.2.3