diff options
Diffstat (limited to 'includes/RtsAPI.h')
| -rw-r--r-- | includes/RtsAPI.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index bf25c011fc..e5326f759b 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -18,6 +18,7 @@ extern "C" { #include "HsFFI.h" #include "rts/Time.h" +#include "rts/EventLogWriter.h" /* * Running the scheduler @@ -79,6 +80,9 @@ typedef struct { // Whether to retain CAFs (default: false) HsBool keep_cafs; + // Writer a for eventlog. + const EventLogWriter *eventlog_writer; + // Called before processing command-line flags, so that default // settings for RtsFlags can be provided. void (* defaultsHook) (void); |
