diff options
Diffstat (limited to 'src/rt/rust_dom.h')
| -rw-r--r-- | src/rt/rust_dom.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/rt/rust_dom.h b/src/rt/rust_dom.h index 4f3a91dc..5a3278b9 100644 --- a/src/rt/rust_dom.h +++ b/src/rt/rust_dom.h @@ -34,13 +34,10 @@ struct rust_dom rust_task *curr_task; int rval; - condition_variable _progress; - hash_map<rust_task *, rust_proxy<rust_task> *> _task_proxies; hash_map<rust_port *, rust_proxy<rust_port> *> _port_proxies; // Incoming messages from other domains. - condition_variable _incoming_message_pending; lock_free_queue _incoming_message_queue; #ifndef __WIN32__ |