Updating timing info during normalization.

This commit is contained in:
Alan Mishchenko 2014-09-10 15:28:46 -07:00
parent c7daa8cafd
commit 7171812ff1
1 changed files with 1 additions and 1 deletions

View File

@ -25,7 +25,7 @@
ABC_NAMESPACE_IMPL_START
#define XAIG_VERBOSE 1
#define XAIG_VERBOSE 0
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///