diff options
Diffstat (limited to 'src/opt/ret/retDelay.c')
| -rw-r--r-- | src/opt/ret/retDelay.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/ret/retDelay.c b/src/opt/ret/retDelay.c index 0263c92f..92680cd0 100644 --- a/src/opt/ret/retDelay.c +++ b/src/opt/ret/retDelay.c @@ -96,8 +96,8 @@ int Abc_NtkRetimeMinDelayTry( Abc_Ntk_t * pNtk, int nDelayLim, int fForward, int } } -if ( fVerbose && !fInitial ) - printf( "Performing analysis:\n" ); + if ( fVerbose && !fInitial ) + printf( "Performing analysis:\n" ); // find the best iteration DelayBest = ABC_INFINITY; IterBest = 0; LatchesBest = Abc_NtkLatchNum(pNtk); vCritical = Vec_PtrAlloc( 100 ); @@ -150,9 +150,9 @@ if ( fVerbose && !fInitial ) Vec_IntFree( vValues ); } } -if ( fVerbose && !fInitial ) - printf( "%s : Starting delay = %3d. Final delay = %3d. IterBest = %2d (out of %2d).\n", - fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit ); + if ( fVerbose && !fInitial ) + printf( "%s : Starting delay = %3d. Final delay = %3d. IterBest = %2d (out of %2d).\n", + fForward? "Forward " : "Backward", DelayStart, DelayBest, IterBest, nIterLimit ); *pIterBest = (nIterLimit == 1) ? 1 : IterBest; return DelayBest; } |