X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/d2904c5e14a2d9c6585ce5e2ff536584c91aeb99..72f8c5b742f7e0c579f3025c1e736ab5011c10ee:/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 73df348ce..14e4bf3a9 100644
--- 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;