From 77ef610919b09ed0f8cb0df50e48a7f9c4b9c553 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 5 Dec 2016 21:18:51 -0800
Subject: Adding support for minimalistic representation of LUT mapping.

---
 src/aig/gia/giaMini.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index 77bb1b64..a886311f 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -300,7 +300,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )
     }
     // set registers
     Mini_LutSetRegNum( p, Gia_ManRegNum(pGia) );
-    Mini_LutPrintStats( p );
+    //Mini_LutPrintStats( p );
     return p;
 }
 
-- 
cgit v1.2.3