diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-18 18:46:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-18 18:46:21 -0700 |
| commit | 6fdfefaa554ad04523dca260b875f55968ed514e (patch) | |
| tree | 547b2e451eab98fef2eab46be2203bad2d3931c5 | |
| parent | f070d35051afbf068d0b034d42ab67c46c0ef3f6 (diff) | |
| download | abc-6fdfefaa554ad04523dca260b875f55968ed514e.tar.gz abc-6fdfefaa554ad04523dca260b875f55968ed514e.tar.bz2 abc-6fdfefaa554ad04523dca260b875f55968ed514e.zip | |
Improvements to the retiming algorithm.
| -rw-r--r-- | src/base/wln/wlnRetime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 3c331991..9f04b534 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -98,7 +98,7 @@ void Wln_RetPrint( Wln_Ret_t * p, int fVerbose ) printf( "Total number of objects = %d. Objects with non-trivial delay = %d.\n", Wln_NtkObjNum(p->pNtk), nCount ); if ( !fVerbose ) { - int nCount = 0, nPrints = 0, nLimit = 5; + int nPrints = 0, nLimit = 5; printf( "The following %d objects have non-trivial delays:\n", nLimit ); Wln_NtkForEachObj( p->pNtk, iObj ) { |