update

[l4.git] / kernel / fiasco / src / kern / scheduler.cpp

diff --git a/kernel/fiasco/src/kern/scheduler.cpp b/kernel/fiasco/src/kern/scheduler.cpp
index a32a374fe094d8c37ca9d2fc2036e91822bc4963..31d81dead4a866b3df4c554174b011bc81536af0 100644 (file)
--- 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);