X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/kernel/fiasco/src/kern/scheduler.cpp

diff --git a/kernel/fiasco/src/kern/scheduler.cpp b/kernel/fiasco/src/kern/scheduler.cpp
index a32a374fe..31d81dead 100644
--- a/kernel/fiasco/src/kern/scheduler.cpp
+++ b/kernel/fiasco/src/kern/scheduler.cpp
@@ -42,7 +42,7 @@ public:
 // ----------------------------------------------------------------------------
 IMPLEMENTATION:
 
-#include "thread.h"
+#include "thread_object.h"
 #include "l4_buf_iter.h"
 #include "entry_frame.h"
 
@@ -101,7 +101,7 @@ Scheduler::sys_run(unsigned char /*rights*/, Syscall_frame *f, Utcb const *utcb)
   if (EXPECT_FALSE(!_thread.is_objpage()))
     return commit_result(-L4_err::EInval);
 
-  Thread *thread = Kobject::dcast<Thread*>(s->lookup_local(_thread.obj_index()));
+  Thread *thread = Kobject::dcast<Thread_object*>(s->lookup_local(_thread.obj_index()));
   if (!thread)
     return commit_result(-L4_err::EInval);