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 (file)
--- 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