From 1106d27996b3961b7666d289a50290b1fcc15947 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 12 Nov 2009 13:53:39 +0000 Subject: [PATCH] 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. --- includes/rts/EventLogFormat.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4