update

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

diff --git a/kernel/fiasco/src/jdb/jdb_ptab.cpp b/kernel/fiasco/src/jdb/jdb_ptab.cpp
index 79fcfb9685bcec30dc60c74c974e170893be3025..ee867b92672a18ca98bb83c2a1447ad3b6179819 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_ptab.cpp
+++ b/kernel/fiasco/src/jdb/jdb_ptab.cpp
@@ -13,6 +13,7 @@ IMPLEMENTATION:
 #include "keycodes.h"
 #include "space.h"
 #include "task.h"
+#include "thread_object.h"
 #include "static_init.h"
 #include "types.h"
 
@@ -122,7 +123,7 @@ Jdb_ptab_m::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;