From 4f74e00470776716a9598ca3a36e7008c1dd9360 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 28 Aug 2015 19:17:48 -0700
Subject: More tuning in &nf.

---
 src/base/abci/abcDar.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 06592a64..8c1928bb 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -874,7 +874,7 @@ Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p )
 {
     int fFixDrivers = 1;
     int fDuplicate = 1;
-    int fVerbose = 1;
+    int fVerbose = 0;
     Abc_Ntk_t * pNtkNew;
     Vec_Int_t * vCopyLits;
     Abc_Obj_t * pObjNew, * pObjNewLi, * pObjNewLo;
-- 
cgit v1.2.3