diff options
| -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 ) { |