bugfix: EventCapsetID should be EventThreadID
authorSimon Marlow <marlowsd@gmail.com>
Sat, 5 Jul 2014 19:56:17 +0000 (20:56 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 29 Sep 2014 13:39:42 +0000 (14:39 +0100)
rts/eventlog/EventLog.c

index a5a100e..b06f824 100644 (file)
@@ -1117,7 +1117,7 @@ void postThreadLabel(Capability    *cap,
 {
     EventsBuf *eb;
     int strsize = strlen(label);
-    int size = strsize + sizeof(EventCapsetID);
+    int size = strsize + sizeof(EventThreadID);
 
     eb = &capEventBuf[cap->no];