update

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

diff --git a/kernel/fiasco/src/jdb/jdb_utcb.cpp b/kernel/fiasco/src/jdb/jdb_utcb.cpp
index 50681ce52b3c37853a832f7a66ea9a10a28d27ec..2ad8b8100d8523ef4bc1742d1d63236e15d13156 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_utcb.cpp
+++ b/kernel/fiasco/src/jdb/jdb_utcb.cpp
@@ -15,7 +15,7 @@ IMPLEMENTATION:
 #include "jdb_module.h"
 #include "space.h"
 #include "static_init.h"
-#include "thread.h"
+#include "thread_object.h"
 #include "thread_state.h"
 
 class Jdb_utcb : public Jdb_module
@@ -65,7 +65,7 @@ Jdb_utcb::action( int cmd, void *&, char const *&, int &)
   if (cmd)
     return NOTHING;
 
-  Thread *t = Kobject::dcast<Thread *>(thread);
+  Thread *t = Kobject::dcast<Thread_object *>(thread);
   if (!t)
     {
       printf(" Invalid thread\n");
@@ -118,7 +118,7 @@ Jdb_kobject_utcb_hdl::handle_key(Kobject *o, int keycode)
 {
   if (keycode == 'z')
     {
-      Thread *t = Kobject::dcast<Thread *>(o);
+      Thread *t = Kobject::dcast<Thread_object *>(o);
       if (!t)
         return false;