From: donnie@darthik.com <unknown>
Date: Mon, 13 Apr 2009 01:17:45 +0000 (+0000)
Subject: Removed unused function postEventTypeID.
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b97043f3f4ba6d24c5c8216414801b307463ee49;p=ghc-hetmet.git

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
--- 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); }