diff options
Diffstat (limited to 'src/map/scl/sclDnsize.c')
-rw-r--r-- | src/map/scl/sclDnsize.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclDnsize.c b/src/map/scl/sclDnsize.c index 6060385e..19e4b30c 100644 --- a/src/map/scl/sclDnsize.c +++ b/src/map/scl/sclDnsize.c @@ -322,7 +322,7 @@ void Abc_SclDnsizePerformInt( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * pPa Vec_IntFree( vEvals ); Vec_IntFree( vTryLater ); if ( !pPars->fVerbose ) - printf( " \r" ); + printf( " \r" ); // report runtime p->timeTotal = Abc_Clock() - p->timeTotal; |