From a06234e87a32b9a33c1b95abb95aa4601f2b7920 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 14 Jul 2013 23:21:46 -0700
Subject: New technology mapper.

---
 src/map/mpm/mpmMan.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/map/mpm/mpmMan.c')

diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c
index 224d837c..7e74e98e 100644
--- a/src/map/mpm/mpmMan.c
+++ b/src/map/mpm/mpmMan.c
@@ -113,7 +113,7 @@ Mpm_Man_t * Mpm_ManStart( Mig_Man_t * pMig, Mpm_Par_t * pPars )
 ***********************************************************************/
 void Mpm_ManStop( Mpm_Man_t * p )
 {
-    if ( p->pPars->fUseTruth )
+    if ( p->pPars->fUseTruth && p->pPars->fVeryVerbose )
     {
         char * pFileName = "truths.txt";
         FILE * pFile = fopen( pFileName, "wb" );
@@ -123,7 +123,7 @@ void Mpm_ManStop( Mpm_Man_t * p )
             Vec_MemEntryNum(p->vTtMem), p->nLutSize, pFileName,
             (16.0 * p->nTruWords + 1.0) * Vec_MemEntryNum(p->vTtMem) / (1 << 20) );
     }
-    if ( p->pPars->fUseDsd )
+    if ( p->pPars->fUseDsd && p->pPars->fVerbose )
         Mpm_ManPrintDsdStats( p );
     if ( p->vTtMem ) 
     {
-- 
cgit v1.2.3