From: sewardj <unknown>
Date: Wed, 14 Mar 2001 15:01:04 +0000 (+0000)
Subject: [project @ 2001-03-14 15:01:04 by sewardj]
X-Git-Tag: Approximately_9120_patches~2411
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9874c5e7c747d92121ea61de3319cee628f3a80a;p=ghc-hetmet.git

[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.
---

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index ceaaaa7..53dd7fc 100644
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.23 2000/12/19 14:30:17 simonmar Exp $
+ * $Id: Stats.c,v 1.24 2001/03/14 15:01:04 sewardj Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -174,14 +174,14 @@ getTimes(void)
 double
 mut_user_time_during_GC(void)
 {
-    return ((double)GC_start_time - (double)GC_tot_time);
+  return TICK_TO_DBL(GC_start_time - GC_tot_time);
 }
 
 double
 mut_user_time(void)
 {
     getTimes();
-    return ((double)CurrentUserTime - (double)GC_tot_time);
+    return TICK_TO_DBL(CurrentUserTime - GC_tot_time);
 }
 
 static nat