diff options
| -rw-r--r-- | src/map/if/ifMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 44ed564f..0c526364 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -174,6 +174,7 @@ void If_ManStop( If_Man_t * p ) Abc_PrintTime( 1, "Non-DSD ", p->timeCache[0] ); Abc_PrintTime( 1, "DSD hits ", p->timeCache[1] ); Abc_PrintTime( 1, "DSD misses", p->timeCache[2] ); + Abc_PrintTime( 1, "TOTAL ", p->timeCache[0] + p->timeCache[1] + p->timeCache[2] ); Abc_PrintTime( 1, "Canon ", p->timeCache[3] ); } } |