diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 22:02:28 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 22:02:28 -0800 |
commit | 259d53ca3e0305307c5138c6bee876ce842f7a7d (patch) | |
tree | 941a90041236f463d9bca50ef944ae8086f5fa95 /src/base/ver | |
parent | c1d7f29dbdc4450343408205996738e7626e5f6a (diff) | |
download | abc-259d53ca3e0305307c5138c6bee876ce842f7a7d.tar.gz abc-259d53ca3e0305307c5138c6bee876ce842f7a7d.tar.bz2 abc-259d53ca3e0305307c5138c6bee876ce842f7a7d.zip |
Simplifying AIG with barrier buffers.
Diffstat (limited to 'src/base/ver')
-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 c466c4f3..1ac576aa 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -2869,7 +2869,7 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan ) ***********************************************************************/ int Ver_ParseAttachBoxes( Ver_Man_t * pMan ) { - int fPrintLog = 1; + int fPrintLog = 0; Abc_Ntk_t * pNtk = NULL; Ver_Bundle_t * pBundle; Vec_Ptr_t * vUndefs; |