From 670eeb0943203da447b1f3705a3880267f42c814 Mon Sep 17 00:00:00 2001
From: ken <unknown>
Date: Mon, 23 Jul 2001 23:26:14 +0000
Subject: [PATCH] [project @ 2001-07-23 23:26:14 by ken] Changed comment to
 reflect reality: We now use 32-bit thread IDs, not 64-bit
 ones.

---
 ghc/includes/TSO.h |    8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/ghc/includes/TSO.h b/ghc/includes/TSO.h
index 71439a8..795dd22 100644
--- a/ghc/includes/TSO.h
+++ b/ghc/includes/TSO.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: TSO.h,v 1.21 2001/04/02 07:24:12 qrczak Exp $
+ * $Id: TSO.h,v 1.22 2001/07/23 23:26:14 ken Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -97,11 +97,7 @@ typedef enum {
 } StgTSOWhatNext;
 
 /*
- * We are completely paranoid and make thread IDs 64 bits to avoid
- * having to worry about overflow.  A little calculation shows that
- * even doing 10^6 forks per second would take 35 million years to
- * overflow a 64 bit thread ID :-)
- *
+ * Thread IDs are 32 bits.
  */
 typedef StgWord32 StgThreadID;
 
-- 
1.7.10.4