mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
@@ -1238,7 +1238,7 @@ class Element : private List<Element>::Element
|
||||
continue;
|
||||
}
|
||||
|
||||
freed_up += sizeof(*element) + element->_name ? element->_name_len : 0;
|
||||
freed_up += sizeof(*element);
|
||||
|
||||
Element * next = element->next();
|
||||
Element::list()->remove(element);
|
||||
|
||||
Reference in New Issue
Block a user