From c30a0ca0b973faf136b309600f03b32b78d0a733 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Nov 2014 21:57:34 -0800 Subject: Improvements to handling boxes and flops. --- src/proof/int/intUtil.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/int/intUtil.c b/src/proof/int/intUtil.c index b7e18f09..a70656c1 100644 --- a/src/proof/int/intUtil.c +++ b/src/proof/int/intUtil.c @@ -58,7 +58,7 @@ int Inter_ManCheckInitialState( Aig_Man_t * p ) return 0; } status = sat_solver_solve( pSat, NULL, NULL, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0 ); - ABC_PRT( "Time", Abc_Clock() - clk ); + //ABC_PRT( "Time", Abc_Clock() - clk ); if ( status == l_True ) { p->pSeqModel = Abc_CexAlloc( Aig_ManRegNum(p), Saig_ManPiNum(p), 1 ); -- cgit v1.2.3