diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/ver/verCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 2522d73d..5f71144b 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; |