diff options
| -rw-r--r-- | src/rt/rust_internal.h | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/src/rt/rust_internal.h b/src/rt/rust_internal.h index 1f14084156c..529fd3d75b8 100644 --- a/src/rt/rust_internal.h +++ b/src/rt/rust_internal.h @@ -109,6 +109,13 @@ task_owned } }; +// A cond(ition) is something we can block on. This can be a channel +// (writing), a port (reading) or a task (waiting). + +struct +rust_cond +{ +}; // Helper class used regularly elsewhere. @@ -526,15 +533,6 @@ public: rust_crate_reader(rust_dom *dom, rust_crate const *crate); }; - -// A cond(ition) is something we can block on. This can be a channel -// (writing), a port (reading) or a task (waiting). - -struct -rust_cond -{ -}; - // An alarm can be put into a wait queue and the task will be notified // when the wait queue is flushed. |