From dd5531caf916d526551049b59151990adaef575d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 17 Mar 2007 08:01:00 -0700
Subject: Version abc70317

---
 src/map/if/ifMan.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/map/if/ifMan.c')

diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c
index 20b2657f..77f4930a 100644
--- a/src/map/if/ifMan.c
+++ b/src/map/if/ifMan.c
@@ -480,7 +480,8 @@ void If_ManSetupSetAll( If_Man_t * p )
 
     if ( p->pPars->fVerbose )
     {
-        printf( "Total memory = %7.2f Mb. Peak cut memory = %7.2f Mb.  \n", 
+        printf( "Node = %7d.  Ch = %5d.  Total mem = %7.2f Mb. Peak cut mem = %7.2f Mb.\n", 
+            If_ManAndNum(p), p->nChoices,
             1.0 * (p->nObjBytes + 2*sizeof(void *)) * If_ManObjNum(p) / (1<<20), 
             1.0 * p->nSetBytes * nCrossCut / (1<<20) );
     }
-- 
cgit v1.2.3