mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 03:45:24 +00:00
base: add missing include in base/id_space.h
This commit is contained in:
parent
e499a04de7
commit
55e99e16ef
@ -15,6 +15,7 @@
|
||||
#define _INCLUDE__BASE__ID_SPACE_H_
|
||||
|
||||
#include <util/noncopyable.h>
|
||||
#include <util/meta.h>
|
||||
#include <base/lock.h>
|
||||
#include <base/log.h>
|
||||
#include <util/avl_tree.h>
|
||||
|
Loading…
x
Reference in New Issue
Block a user