From 7f778ff805c6b0b2911f7ab64b4e263a719b81e7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 15 Jan 2019 19:08:24 -0800
Subject: Procedure to transform counter-examples (bug fix).

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

(limited to 'src/base/wlc/wlcBlast.c')

diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c
index 8a9e8eb1..01b6e64c 100644
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -1262,7 +1262,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
         // create box library
         pBoxLib = If_LibBoxStart();
     }
-    printf( "Init state: %s\n", p->pInits );
+    //printf( "Init state: %s\n", p->pInits );
 
     // blast in the topological order
     Wlc_NtkForEachObj( p, pObj, i )
-- 
cgit v1.2.3