diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index 1f7472b0fd737d2e599851c18cc56c5c9310abd7..eadd9969d4cb7075ee18d60f708bb503d624e1ad 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -198,16 +198,6 @@ static inline void postStringLen(EventsBuf *eb, const char *buf, StgWord len) eb->pos++; } -/* Post a null-terminated string to the event log. - * It is the caller's responsibility to ensure that there is - * enough room for strlen(buf)+1 bytes. - */ -static inline void postString(EventsBuf *eb, const char *buf) -{ - const StgWord len = buf ? strlen(buf) : 0; - postStringLen(eb, buf, len); -} - static inline StgWord64 time_ns(void) { return TimeToNS(stat_getElapsedTime()); }