From b97043f3f4ba6d24c5c8216414801b307463ee49 Mon Sep 17 00:00:00 2001
From: "donnie@darthik.com" <unknown>
Date: Mon, 13 Apr 2009 01:17:45 +0000
Subject: [PATCH] Removed unused function postEventTypeID. postEventTypeID was
 used to post event marker IDs, but instead we just call
 postWord16 directly; thus, this function is unused.

---
 rts/eventlog/EventLog.c |    3 ---
 1 file changed, 3 deletions(-)

diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index d44460a..990820f 100644
--- 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); }
 
-- 
1.7.10.4