X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/983fe7c4ac262f56d38a143b1efab1e4afb77a52..220cf7c44adc77ff7e891eb4f0a5ea7c6fc4a52b:/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 9dba2b074..9d4d69392 100644
--- 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,