From 6fdfefaa554ad04523dca260b875f55968ed514e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 18 Apr 2019 18:46:21 -0700 Subject: Improvements to the retiming algorithm. --- src/base/wln/wlnRetime.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 ) { -- cgit v1.2.3