From 97856d021a1282cf3fb9a86701fff3ec403fe912 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 Feb 2012 23:40:23 -0800
Subject: Silencing some of the gcc warnings.

---
 src/proof/fra/fraLcr.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/proof/fra')

diff --git a/src/proof/fra/fraLcr.c b/src/proof/fra/fraLcr.c
index b18a8fcd..238e3096 100644
--- a/src/proof/fra/fraLcr.c
+++ b/src/proof/fra/fraLcr.c
@@ -538,7 +538,7 @@ Aig_Man_t * Fra_FraigLatchCorrespondence( Aig_Man_t * pAig, int nFramesP, int nC
     Fra_Man_t * pTemp;
     Aig_Man_t * pAigPart, * pAigTemp, * pAigNew = NULL;
     Vec_Int_t * vPart;
-    int i, nIter, timeSim, clk = clock(), clk2, clk3;
+    int i, nIter, timeSim, clk2, clk3, clk = clock();
     int TimeToStop = (TimeLimit == 0.0)? 0 : clock() + (int)(TimeLimit * CLOCKS_PER_SEC);
     if ( Aig_ManNodeNum(pAig) == 0 )
     {
@@ -615,7 +615,6 @@ p->timePart += clock() - clk2;
         Vec_PtrClear( p->vFraigs );
         Vec_PtrForEachEntry( Vec_Int_t *, p->vParts, vPart, i )
         {
-            int clk3 = clock();
             if ( TimeLimit != 0.0 && clock() > TimeToStop )
             {
                 Vec_PtrForEachEntry( Aig_Man_t *, p->vFraigs, pAigPart, i )
-- 
cgit v1.2.3