update

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

diff --git a/kernel/fiasco/src/jdb/jdb_factory.cpp b/kernel/fiasco/src/jdb/jdb_factory.cpp
index 149acfafa79a63c59901d6a58f4cfda9ea797b01..741487d04ddf0de7896aceee48b38d10fee3f413 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_factory.cpp
+++ b/kernel/fiasco/src/jdb/jdb_factory.cpp
@@ -30,7 +30,7 @@ Jdb_factory::Jdb_factory()
 
 PUBLIC
 bool
-Jdb_factory::show_kobject(Kobject *, int )
+Jdb_factory::show_kobject(Kobject_common *, int )
 {
   return true;
 }
@@ -44,7 +44,7 @@ Jdb_factory::kobject_type() const
 
 PUBLIC
 int
-Jdb_factory::show_kobject_short(char *buf, int max, Kobject *o)
+Jdb_factory::show_kobject_short(char *buf, int max, Kobject_common *o)
 {
   Factory *t = Kobject::dcast<Factory*>(o);
   return snprintf(buf, max, " c=%ld l=%ld", t->current(), t->limit());