Compiler warning.

334f4a29 · Alan Mishchenko · c4446189 · 334f4a29
Commit 334f4a29 authored Jan 14, 2016 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletions

src/proof/pdr/pdrInv.c
+0 -1

No files found.
--- 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 );