diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-14 20:44:45 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-14 20:44:45 -0800 |
| commit | 334f4a29caacae3858a3ec8bca2ffd91998dc450 (patch) | |
| tree | 658655a5d134d4265d3a00f0ee8a877cfef0f9c9 /src/proof/pdr | |
| parent | c4446189a9ca5a187a2ede26a7102866d2c5ae8e (diff) | |
| download | abc-334f4a29caacae3858a3ec8bca2ffd91998dc450.tar.gz abc-334f4a29caacae3858a3ec8bca2ffd91998dc450.tar.bz2 abc-334f4a29caacae3858a3ec8bca2ffd91998dc450.zip | |
Compiler warning.
Diffstat (limited to 'src/proof/pdr')
| -rw-r--r-- | src/proof/pdr/pdrInv.c | 1 |
1 files changed, 0 insertions, 1 deletions
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 ); |