diff options
Diffstat (limited to 'src/rt/rust_task.h')
| -rw-r--r-- | src/rt/rust_task.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_task.h b/src/rt/rust_task.h index b1984b9d40b..9b1a3a39582 100644 --- a/src/rt/rust_task.h +++ b/src/rt/rust_task.h @@ -91,6 +91,7 @@ rust_task : public maybe_proxy<rust_task>, // Indicates that the task ended in failure bool failed; + bool propagate_failure; lock_and_signal lock; |