From 334f4a29caacae3858a3ec8bca2ffd91998dc450 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 14 Jan 2016 20:44:45 -0800
Subject: Compiler warning.

---
 src/proof/pdr/pdrInv.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c
index b548cf68..e5093359 100644
--- a/src/proof/pdr/pdrInv.c
+++ b/src/proof/pdr/pdrInv.c
@@ -586,7 +586,6 @@ Vec_Int_t * Pdr_ManDeriveInfinityClauses( Pdr_Man_t * p, int fReduce )
     Vec_Ptr_t * vCubes;
     Pdr_Set_t * pCube;
     int i, v, kStart;
-    abctime clk = Abc_Clock();
     // collect cubes used in the inductive invariant
     kStart = Pdr_ManFindInvariantStart( p );
     vCubes = Pdr_ManCollectCubes( p, kStart );
-- 
cgit v1.2.3