diff options
| -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); |
