Switch EventThreadID back to 32 bits.
authorSimon Marlow <marlowsd@gmail.com>
Thu, 12 Nov 2009 13:53:39 +0000 (13:53 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 12 Nov 2009 13:53:39 +0000 (13:53 +0000)
commit1106d27996b3961b7666d289a50290b1fcc15947
tree43cc9266946558be7f23e09e1695b151ce2ca292
parente5959748501564df4a266cbf4df94cb28327f76d
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