Made root_task no longer special.

2011-07-23 14:01:43 -07:00
parent c15871ac51
commit b51f5c395c
8 changed files with 18 additions and 20 deletions
--- a/src/rt/rust_scheduler.h
+++ b/src/rt/rust_scheduler.h
@@ -46,8 +46,6 @@ struct rust_scheduler : public kernel_owned<rust_scheduler>,
    rust_crate_cache cache;

    randctx rctx;
-    rust_task *root_task;
-    rust_task *curr_task;
    int rval;

    rust_kernel *kernel;