diff options
Diffstat (limited to 'rts/eventlog/EventLog.h')
| -rw-r--r-- | rts/eventlog/EventLog.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 667f34867d..1858be8ecd 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -26,6 +26,7 @@ void endEventLogging(void); void freeEventLogging(void); void abortEventLogging(void); // #4512 - after fork child needs to abort void flushEventLog(void); // event log inherited from parent +void moreCapEventBufs (nat from, nat to); /* * Post a scheduler event to the capability's event buffer (an event |