diff options
Diffstat (limited to 'src/map/mapper/mapperCore.c')
| -rw-r--r-- | src/map/mapper/mapperCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mapper/mapperCore.c b/src/map/mapper/mapperCore.c index 0014d48f..16cbfd5c 100644 --- a/src/map/mapper/mapperCore.c +++ b/src/map/mapper/mapperCore.c @@ -69,6 +69,7 @@ int Map_Mapping( Map_Man_t * p ) Map_MappingTruths( p ); p->timeTruth = clock() - clk; ////////////////////////////////////////////////////////////////////// +//PRT( "Truths", clock() - clk ); ////////////////////////////////////////////////////////////////////// // compute the minimum-delay mapping |