[project @ 2001-03-14 15:01:04 by sewardj]
authorsewardj <unknown>
Wed, 14 Mar 2001 15:01:04 +0000 (15:01 +0000)
committersewardj <unknown>
Wed, 14 Mar 2001 15:01:04 +0000 (15:01 +0000)
commit9874c5e7c747d92121ea61de3319cee628f3a80a
tree71881b735b4ebd41a09507d49fc773b3a63b3582
parent382f3ce4f1767b0591ec6c98de715be0f1292b57
[project @ 2001-03-14 15:01:04 by sewardj]
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.
ghc/rts/Stats.c