update

[l4.git] / kernel / fiasco / src / kern / kobject_iface.cpp

diff --git a/kernel/fiasco/src/kern/kobject_iface.cpp b/kernel/fiasco/src/kern/kobject_iface.cpp
index 9dba2b0742a1140dfd8e00e3835a49b529ebc419..9d4d6939293af6d044e4c4728e0d0ef7ee75f94c 100644 (file)
--- a/kernel/fiasco/src/kern/kobject_iface.cpp
+++ b/kernel/fiasco/src/kern/kobject_iface.cpp
@@ -21,6 +21,7 @@ public:
   virtual void initiate_deletion(Kobject ***) = 0;
 
   virtual Kobject_mappable *map_root() = 0;
+  virtual ~Kobject_common() = 0;
 };
 
 class Kobject_iface : public Kobject_common
@@ -31,6 +32,9 @@ public:
 
 IMPLEMENTATION:
 
+IMPLEMENT inline 
+Kobject_common::~Kobject_common() {}
+
 PUBLIC static inline
 L4_msg_tag
 Kobject_iface::commit_result(Mword error,