Sync EventLogFormat.h with ghc-events

1 files changed, 3 insertions, 3 deletions

diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index c6ab86d736..db0f3e4ad5 100644
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -101,7 +101,7 @@ typedef struct _EventType {
   char *desc;     // Description
 } EventType;
 
-EventType eventTypes[NUM_EVENT_TAGS];
+EventType eventTypes[NUM_GHC_EVENT_TAGS];
 
 static void initEventsBuf(EventsBuf* eb, StgWord64 size, EventCapNo capno);
 static void resetEventsBuf(EventsBuf* eb);
@@ -200,7 +200,7 @@ initEventLogging(void)
                                         + 10 /* .eventlog */,
                                         "initEventLogging");
 
-    if (sizeof(EventDesc) / sizeof(char*) != NUM_EVENT_TAGS) {
+    if (sizeof(EventDesc) / sizeof(char*) != NUM_GHC_EVENT_TAGS) {
         barf("EventDesc array has the wrong number of elements");
     }
 
@@ -250,7 +250,7 @@ initEventLogging(void)
 
     // Mark beginning of event types in the header.
     postInt32(&eventBuf, EVENT_HET_BEGIN);
-    for (t = 0; t < NUM_EVENT_TAGS; ++t) {
+    for (t = 0; t < NUM_GHC_EVENT_TAGS; ++t) {
 
         eventTypes[t].etNum = t;
         eventTypes[t].desc = EventDesc[t];