From 7171812ff1e63c6c244c7e3fd6564aceb1590de0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 10 Sep 2014 15:28:46 -0700
Subject: Updating timing info during normalization.

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

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 21b63cee..2f2cab2b 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -25,7 +25,7 @@
 
 ABC_NAMESPACE_IMPL_START
 
-#define XAIG_VERBOSE 1
+#define XAIG_VERBOSE 0
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
-- 
cgit v1.2.3