Only reset the event log if logging is turned on (addendum to #4512)

[ghc-hetmet.git] / rts / Trace.h

diff --git a/rts/Trace.h b/rts/Trace.h
index 4f3ebce..97d9514 100644 (file)
--- a/rts/Trace.h
+++ b/rts/Trace.h
@@ -27,6 +27,7 @@
 void initTracing (void);
 void endTracing  (void);
 void freeTracing (void);
+void resetTracing (void);
 
 #endif /* TRACING */