From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 12 Nov 2009 13:53:39 +0000 (+0000)
Subject: Switch EventThreadID back to 32 bits.
X-Git-Tag: 2009-11-15~1
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1106d27996b3961b7666d289a50290b1fcc15947;p=ghc-hetmet.git

Switch EventThreadID back to 32 bits.
The log file format was still using 32 bits, this just updates the
header file to match; there should be no functional changes.
---

diff --git a/includes/rts/EventLogFormat.h b/includes/rts/EventLogFormat.h
index ced4d10..83330da 100644
--- a/includes/rts/EventLogFormat.h
+++ b/includes/rts/EventLogFormat.h
@@ -145,7 +145,7 @@
 
 typedef StgWord16 EventTypeNum;
 typedef StgWord64 EventTimestamp; // in nanoseconds
-typedef StgWord64 EventThreadID;
+typedef StgWord32 EventThreadID;
 typedef StgWord16 EventCapNo;
 typedef StgWord16 EventPayloadSize; // variable-size events