diff options
Diffstat (limited to 'rts/Trace.c')
| -rw-r--r-- | rts/Trace.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Trace.c b/rts/Trace.c index 6d77cc1254..2a229b5dc2 100644 --- a/rts/Trace.c +++ b/rts/Trace.c @@ -118,10 +118,10 @@ void resetTracing (void) restartEventLogging(); } -void flushTrace (void) +void flushTrace () { if (eventlog_enabled) { - flushEventLog(); + flushEventLog(NULL); } } |