Improvements to the retiming algorithm.

This commit is contained in:
Alan Mishchenko 2019-04-18 18:46:21 -07:00
parent f070d35051
commit 6fdfefaa55
1 changed files with 1 additions and 1 deletions

View File

@ -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 )
{