diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 14:25:36 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 16:03:28 -0700 |
| commit | f149ea0c689e903c2db1f2aee45a9fb60f168374 (patch) | |
| tree | dd6451b8b8206d497f42d74cf72979ff2d45c3c7 | |
| parent | dc11396fda7097d049708a4f48c449ad8ea0db8d (diff) | |
| download | rust-f149ea0c689e903c2db1f2aee45a9fb60f168374.tar.gz rust-f149ea0c689e903c2db1f2aee45a9fb60f168374.zip | |
Remove unneeded field
| -rw-r--r-- | src/rt/rust_sched_loop.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/rt/rust_sched_loop.h b/src/rt/rust_sched_loop.h index f8e52e0498b..be80a88c30d 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); |