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

diff --git a/kernel/fiasco/src/kern/kernel_thread.cpp b/kernel/fiasco/src/kern/kernel_thread.cpp
index a0d8a060e..4a57c14ac 100644
--- a/kernel/fiasco/src/kern/kernel_thread.cpp
+++ b/kernel/fiasco/src/kern/kernel_thread.cpp
@@ -1,8 +1,8 @@
 INTERFACE:
 
-#include "thread.h"
+#include "thread_object.h"
 
-class Kernel_thread : public Thread
+class Kernel_thread : public Thread_object
 {
 private:
   /**
@@ -52,7 +52,7 @@ IMPLEMENTATION:
 
 
 PUBLIC
-Kernel_thread::Kernel_thread() : Thread(Thread::Kernel)
+Kernel_thread::Kernel_thread() : Thread_object(Thread::Kernel)
 {}
 
 PUBLIC inline