From 686f8fdaa64243155e09ec4deed3ebf8f099edec Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2013 19:04:45 +0700
Subject: Integration of timing manager.

---
 src/misc/tim/timMan.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/misc/tim')

diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c
index a0f3a6a2..60581e8e 100644
--- a/src/misc/tim/timMan.c
+++ b/src/misc/tim/timMan.c
@@ -309,6 +309,8 @@ void Tim_ManPrint( Tim_Man_t * p )
     if ( p == NULL )
         return;
     printf( "TIMING MANAGER:\n" );
+    printf( "PI = %d. CI = %d. PO = %d. CO = %d. Box = %d.\n", 
+        Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), Tim_ManBoxNum(p) );
 
     // print CI info
     pPrev = p->pCis;
-- 
cgit v1.2.3