From f149ea0c689e903c2db1f2aee45a9fb60f168374 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 21 Jun 2012 14:25:36 -0700 Subject: [PATCH] Remove unneeded field --- src/rt/rust_sched_loop.h | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/rt/rust_sched_loop.h b/src/rt/rust_sched_loop.h index f8e52e0498b3..be80a88c30df 100644 --- a/src/rt/rust_sched_loop.h +++ b/src/rt/rust_sched_loop.h @@ -87,11 +87,7 @@ public: memory_region local_region; randctx rctx; - - // FIXME: Neither of these are used - int32_t list_index; - const char *const name; - + const char *const name; // Used for debugging // Only a pointer to 'name' is kept, so it must live as long as this // domain. rust_sched_loop(rust_scheduler *sched, int id);