summaryrefslogtreecommitdiffstats
path: root/src/map/scl
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-02-09 15:36:25 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2015-02-09 15:36:25 -0800
commitfd877c3f376fb50c5c5f863ad975867ad2eda994 (patch)
tree135a064add47a756c17db335388b6f35f6f4efcc /src/map/scl
parent0f9001c956749682e002cb229264dbd6c4882fc2 (diff)
downloadabc-fd877c3f376fb50c5c5f863ad975867ad2eda994.tar.gz
abc-fd877c3f376fb50c5c5f863ad975867ad2eda994.tar.bz2
abc-fd877c3f376fb50c5c5f863ad975867ad2eda994.zip
Several improvements to CBA data-structure.
Diffstat (limited to 'src/map/scl')
-rw-r--r--src/map/scl/sclDnsize.c2
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;