2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c
index 150d61e2..65296d22 100644
--- a/src/aig/gia/giaAbsGla.c
+++ b/src/aig/gia/giaAbsGla.c
@@ -1104,7 +1104,7 @@ void Gla_ManStop( Gla_Man_t * p )
 
     // stop the refinement manager
 //    Gia_ManStopP( &p->pGia2 );
-    Rnm_ManStop( p->pRnm, 1 );
+    Rnm_ManStop( p->pRnm, 0 );
 
     if ( p->pvRefis )
     for ( i = 0; i < Gia_ManObjNum(p->pGia); i++ )
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index 7c7afc40..316dcec8 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -458,7 +458,7 @@ void Ga2_ManStop( Ga2_Man_t * p )
     Vec_IntFree( p->vValues );
     Vec_IntFree( p->vLits );
     Vec_IntFree( p->vIsopMem );
-    Rnm_ManStop( p->pRnm, p->pPars->fVerbose );
+    Rnm_ManStop( p->pRnm, 0 );
 //    Rf2_ManStop( p->pRf2, p->pPars->fVerbose );
     ABC_FREE( p->pTable );
     ABC_FREE( p->pSopSizes );