From 4757c7febc0cf13f477b9f548ac8aa8d967adad2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 22 Nov 2020 20:50:35 -1000
Subject: Removing unused printouts.

---
 src/proof/cec/cecSatG2.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/proof/cec')

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index 122f33d0..3e6372af 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -1799,12 +1799,11 @@ void Cec4_ManSimulateTest2( Gia_Man_t * p, int fVerbose )
     Cec4_ManSetParams( pPars );
     Cec4_ManPerformSweeping( p, pPars, NULL );
     pPars->fVerbose = fVerbose;
-    //if ( fVerbose )
+    if ( fVerbose )
         Abc_PrintTime( 1, "New choice computation time", Abc_Clock() - clk );
 }
 Gia_Man_t * Cec4_ManSimulateTest3( Gia_Man_t * p, int fVerbose )
 {
-    abctime clk = Abc_Clock();
     Gia_Man_t * pNew = NULL;
     Cec_ParFra_t ParsFra, * pPars = &ParsFra;
     Cec4_ManSetParams( pPars );
-- 
cgit v1.2.3