From 5760c3225d892ae724e3a26a12ff376f8de7a4f6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Aug 2012 18:31:16 -0700
Subject: Scalable gate-level abstraction.

---
 src/aig/gia/giaAbsGla2.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index 7e5056c7..1476e704 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -327,7 +327,7 @@ int Ga2_ManMarkup( Gia_Man_t * p, int N, int fSimple )
         Vec_IntPush( p->vMapping, -1 );  // placeholder for ref counter
         CountMarks++;
     }
-    Abc_PrintTime( 1, "Time", clock() - clk );
+//    Abc_PrintTime( 1, "Time", clock() - clk );
     Vec_IntFree( vLeaves );
     return CountMarks;
 }
@@ -450,7 +450,7 @@ void Ga2_ManStop( Ga2_Man_t * p )
     Vec_IntFree( p->vValues );
     Vec_IntFree( p->vLits );
     Vec_IntFree( p->vIsopMem );
-    Rnm_ManStop( p->pRnm, 1 );
+    Rnm_ManStop( p->pRnm, p->pPars->fVerbose );
     ABC_FREE( p->pTable );
     ABC_FREE( p->pSopSizes );
     ABC_FREE( p->pSops[1] );
@@ -1685,6 +1685,7 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
     }
 finish:
     Prf_ManStopP( &p->pSat->pPrf2 );
+    if ( p->pPars->fVeryVerbose )
     Abc_Print( 1, "\n" );
     // analize the results
     if ( pAig->pCexSeq == NULL )
-- 
cgit v1.2.3