From 55e99e16ef1c9bd9c710e11dbdd3d865d0b35788 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 16 Aug 2019 11:39:34 +0200
Subject: [PATCH] base: add missing include in base/id_space.h

---
 repos/base/include/base/id_space.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base/include/base/id_space.h b/repos/base/include/base/id_space.h
index 984f997bc..411f2f595 100644
--- a/repos/base/include/base/id_space.h
+++ b/repos/base/include/base/id_space.h
@@ -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>