Removed unused function postEventTypeID.

postEventTypeID was used to post event marker IDs, but instead we just
call postWord16 directly; thus, this function is unused.

diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index d44460a..990820f 100644 (file)
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -106,9 +106,6 @@ static inline void postWord64(EventsBuf *eb, StgWord64 i)
 static inline void postEventTypeNum(EventsBuf *eb, EventTypeNum etNum)
 { postWord16(eb, etNum); }
 
-static inline void postEventTypeID(EventsBuf *eb, StgWord16 etID)
-{ postWord16(eb, etID); }
-
 static inline void postTimestamp(EventsBuf *eb, Timestamp t)
 { postWord64(eb,t); }