diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-09 15:36:25 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-09 15:36:25 -0800 |
| commit | fd877c3f376fb50c5c5f863ad975867ad2eda994 (patch) | |
| tree | 135a064add47a756c17db335388b6f35f6f4efcc /src/map | |
| parent | 0f9001c956749682e002cb229264dbd6c4882fc2 (diff) | |
| download | abc-fd877c3f376fb50c5c5f863ad975867ad2eda994.tar.gz abc-fd877c3f376fb50c5c5f863ad975867ad2eda994.tar.bz2 abc-fd877c3f376fb50c5c5f863ad975867ad2eda994.zip | |
Several improvements to CBA data-structure.
Diffstat (limited to 'src/map')
| -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; |