From c107c621e900eb173c9800d7485a4a8b01d5f066 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 11 Nov 1999 13:17:36 +0000
Subject: [PATCH] [project @ 1999-11-11 13:17:36 by simonmar] avoid those
 annoying -0.00 times.

---
 ghc/rts/Stats.c |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index 64bd175..1c5d243 100644
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.17 1999/11/09 15:46:57 simonmar Exp $
+ * $Id: Stats.c,v 1.18 1999/11/11 13:17:36 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -327,6 +327,7 @@ stat_startExit(void)
   MutUserTime = usertime();
 #else
   MutUserTime = usertime() - GC_tot_time - InitUserTime;
+  if (MutUserTime < 0) { MutUserTime = 0; }
 #endif
 }
 
-- 
1.7.10.4