From 54d3c1ab426f60013b5b1b762de8bc304ee0bd54 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Jun 2014 10:46:43 -0700
Subject: [PATCH] Fixed printout of in the hierarchy log file.

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

diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index 2522d73d5..5f71144b1 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -2845,7 +2845,7 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan )
 ***********************************************************************/
 int Ver_ParseAttachBoxes( Ver_Man_t * pMan )
 {
-    int fPrintLog = 0;
+    int fPrintLog = 1;
     Abc_Ntk_t * pNtk = NULL;
     Ver_Bundle_t * pBundle;
     Vec_Ptr_t * vUndefs;