From fd877c3f376fb50c5c5f863ad975867ad2eda994 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Feb 2015 15:36:25 -0800 Subject: Several improvements to CBA data-structure. --- src/map/scl/sclDnsize.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map/scl') 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; -- cgit v1.2.3