diff options
| -rw-r--r-- | rts/eventlog/EventLog.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index ff3229298c..0f10e9835e 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -454,6 +454,7 @@ finishCapEventLogging(void) if (capEventBuf[c].begin != NULL) { printAndClearEventBuf(&capEventBuf[c]); stgFree(capEventBuf[c].begin); + capEventBuf[c].begin = NULL; } } } @@ -525,6 +526,7 @@ freeEventLoggingBuffer(void) { if (capEventBuf != NULL) { stgFree(capEventBuf); + capEventBuf = NULL; } } |