update

[l4.git] / 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 a0d8a060e9833d6cb62229ce22a257838e9da612..4a57c14acb084bf69a9a9e03acc664cb241c1711 100644 (file)
--- 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