-
Julian Seward authored
mut_user_time_during_GC() and mut_user_time(): don't forget to do TICK_TO_DBL of the result -- if not done, heap profiling times are off by a factor of 100.
9874c5e7
mut_user_time_during_GC() and mut_user_time(): don't forget to do TICK_TO_DBL of the result -- if not done, heap profiling times are off by a factor of 100.