diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index ef6f69c6dd3b13375861f22aec253bb027560478..2e0e9bbddcac0ab92350bd3b1941bfe59ed3eaad 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -198,20 +198,14 @@ static inline void postEventHeader(EventsBuf *eb, EventTypeNum type) { postEventTypeNum(eb, type); postTimestamp(eb); -} +} static inline void postInt8(EventsBuf *eb, StgInt8 i) { postWord8(eb, (StgWord8)i); } -static inline void postInt16(EventsBuf *eb, StgInt16 i) -{ postWord16(eb, (StgWord16)i); } - static inline void postInt32(EventsBuf *eb, StgInt32 i) { postWord32(eb, (StgWord32)i); } -static inline void postInt64(EventsBuf *eb, StgInt64 i) -{ postWord64(eb, (StgWord64)i); } - void initEventLogging(void)