diff options
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index c5bdc50e430..6cb6dbaa653 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -316,7 +316,7 @@ public: this->event_reject = false; } - void *wait_event(); + void *wait_event(bool *killed); void signal_event(void *event); void cleanup_after_turn(); |
