From 908d5e696c7e73f80abcef85ec796511f3bffb0f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Jul 2012 22:57:03 -0700 Subject: Replacing Mb/Gb to be MB/GB. --- src/opt/cut/cutMan.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt/cut') diff --git a/src/opt/cut/cutMan.c b/src/opt/cut/cutMan.c index 12c65935..ea3d73bb 100644 --- a/src/opt/cut/cutMan.c +++ b/src/opt/cut/cutMan.c @@ -168,7 +168,7 @@ void Cut_ManPrintStats( Cut_Man_t * p ) printf( "Nodes saturated = %8d. (Max cuts = %d.)\n", p->nCutsLimit, p->pParams->nKeepMax ); printf( "Cuts per node = %8.1f\n", ((float)(p->nCutsCur-p->nCutsTriv))/p->nNodes ); printf( "The cut size = %8d bytes.\n", p->EntrySize ); - printf( "Peak memory = %8.2f Mb.\n", (float)p->nCutsPeak * p->EntrySize / (1<<20) ); + printf( "Peak memory = %8.2f MB.\n", (float)p->nCutsPeak * p->EntrySize / (1<<20) ); printf( "Total nodes = %8d.\n", p->nNodes ); if ( p->pParams->fDag || p->pParams->fTree ) { -- cgit v1.2.3