diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
| commit | f33c3007b2641f6f17c3511cb6f56d68d0b05453 (patch) | |
| tree | 608b591a890beabfce474398ecf81be44086546b /src/proof/abs | |
| parent | dd52905fa394bb276cee1442c680f8c02937b7fb (diff) | |
| download | abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.gz abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.bz2 abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/abs')
| -rw-r--r-- | src/proof/abs/absOldRef.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absOldRef.c b/src/proof/abs/absOldRef.c index 3199803f..6cc5ff6d 100644 --- a/src/proof/abs/absOldRef.c +++ b/src/proof/abs/absOldRef.c @@ -411,7 +411,7 @@ Vec_Int_t * Saig_ManCexAbstractionFlops( Aig_Man_t * p, Gia_ParAbs_t * pPars ) int nUseStart = 0; Aig_Man_t * pAbs, * pTemp; Vec_Int_t * vFlops; - int Iter, clk = clock(), clk2 = clock();//, iFlop; + int Iter;//, clk = clock(), clk2 = clock();//, iFlop; assert( Aig_ManRegNum(p) > 0 ); if ( pPars->fVerbose ) printf( "Performing counter-example-based refinement.\n" ); |