diff options
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/timMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
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; |