update

[l4.git] / kernel / fiasco / src / jdb / jdb_halt_thread.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_halt_thread.cpp b/kernel/fiasco/src/jdb/jdb_halt_thread.cpp
index 18336cda0975230392628344ddd5ca6e97597de9..2160f0eb8824b7a3a05308c10db9f41b01e773d8 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_halt_thread.cpp
+++ b/kernel/fiasco/src/jdb/jdb_halt_thread.cpp
@@ -6,7 +6,7 @@ IMPLEMENTATION:
 #include "jdb_module.h"
 #include "jdb_kobject.h"
 #include "static_init.h"
-#include "thread.h"
+#include "thread_object.h"
 
 class Jdb_halt_thread : public Jdb_module
 {
@@ -25,7 +25,7 @@ Jdb_halt_thread::action(int cmd, void *&, char const *&, int &)
   if (cmd != 0)
     return NOTHING;
 
-  Thread *t = Kobject::dcast<Thread*>(threadid);
+  Thread *t = Kobject::dcast<Thread_object*>(threadid);
 
   if (!t)
     return NOTHING;