From 67e820a5eb49127594f0a552e5e86b69897686c9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 22 Jan 2018 14:28:49 -0800
Subject: Updates to exact synthesis commands.

---
 src/sat/bmc/bmcMaj.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/sat/bmc/bmcMaj.c')

diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c
index efa8d857..4f2c8db9 100644
--- a/src/sat/bmc/bmcMaj.c
+++ b/src/sat/bmc/bmcMaj.c
@@ -1262,7 +1262,6 @@ void Exa3_ManExactSynthesis( Bmc_EsPar_t * pPars )
     }
     for ( i = 0; iMint != -1; i++ )
     {
-        abctime clk = Abc_Clock();
         if ( pPars->fUseIncr ? !Exa3_ManAddCnf2( p, iMint ) : !Exa3_ManAddCnf( p, iMint ) )
             break;
         status = bmcg_sat_solver_solve( p->pSat, NULL, 0 );
-- 
cgit v1.2.3