[project @ 2001-07-23 23:26:14 by ken]
authorken <unknown>
Mon, 23 Jul 2001 23:26:14 +0000 (23:26 +0000)
committerken <unknown>
Mon, 23 Jul 2001 23:26:14 +0000 (23:26 +0000)
commit670eeb0943203da447b1f3705a3880267f42c814
tree2907f38a20bc6fa15088acdaa7a0af98fe4836c7
parentf060e56ba98ed7b03c2e1c0bc3329481243e02ac
[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