update

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

diff --git a/kernel/fiasco/src/jdb/jdb_obj_space.cpp b/kernel/fiasco/src/jdb/jdb_obj_space.cpp
index 73df348ce39138b2a024095b63d61dae9fb2c447..14e4bf3a941913039dad8debab25296bd4b1b522 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_obj_space.cpp
+++ b/kernel/fiasco/src/jdb/jdb_obj_space.cpp
@@ -12,6 +12,7 @@ IMPLEMENTATION:
 #include "keycodes.h"
 #include "space.h"
 #include "task.h"
+#include "thread_object.h"
 #include "static_init.h"
 #include "types.h"
 
@@ -211,7 +212,7 @@ Jdb_obj_space::handle_key(Kobject *o, int code)
   Space *t = Kobject::dcast<Task*>(o);
   if (!t)
     {
-      Thread *th = Kobject::dcast<Thread*>(o);
+      Thread *th = Kobject::dcast<Thread_object *>(o);
       if (!th || !th->space())
        return false;