Renamed what's left of rust_dom to rust_scheduler

1 files changed, 3 insertions, 3 deletions

diff --git a/src/rt/rust_task_list.h b/src/rt/rust_task_list.h
index 479f9e936fb..0991b32eed8 100644
--- a/src/rt/rust_task_list.h
+++ b/src/rt/rust_task_list.h
@@ -1,4 +1,4 @@
-// -*- c++-mode -*-
+// -*- c++ -*-
 #ifndef RUST_TASK_LIST_H
 #define RUST_TASK_LIST_H
 
@@ -8,9 +8,9 @@
 class rust_task_list : public indexed_list<rust_task>,
                        public kernel_owned<rust_task_list> {
 public:
-    rust_dom *dom;
+    rust_scheduler *sched;
     const char* name;
-    rust_task_list (rust_dom *dom, const char* name);
+    rust_task_list (rust_scheduler *sched, const char* name);
     void delete_all();
 };