Fixed ThreadID to be defined as StgThreadID, not StgWord64. Changed CapabilityNum...

[ghc-hetmet.git] / includes / EventLogFormat.h

diff --git a/includes/EventLogFormat.h b/includes/EventLogFormat.h
index a8a5a83..7b95ad7 100644 (file)
--- a/includes/EventLogFormat.h
+++ b/includes/EventLogFormat.h
@@ -130,7 +130,7 @@
 
 typedef StgWord16 EventTypeNum;
 typedef StgWord64 Timestamp; // in nanoseconds
-typedef StgWord64 ThreadID;
-typedef StgWord16 CapabilityNum;
+typedef StgThreadID ThreadID;
+typedef StgWord16 CapNo;
 
 #endif