From aa29ebe751e699494a0e0b86e30a793993a51de3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 31 Jan 2017 16:00:13 +0100
Subject: [PATCH] base/shared_object.h: add missing includes

---
 repos/base/include/base/shared_object.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/base/include/base/shared_object.h b/repos/base/include/base/shared_object.h
index b04a1171ef..ad4ebc1bba 100644
--- a/repos/base/include/base/shared_object.h
+++ b/repos/base/include/base/shared_object.h
@@ -14,6 +14,8 @@
 #ifndef _INCLUDE__BASE__SHARED_OBJECT_H_
 #define _INCLUDE__BASE__SHARED_OBJECT_H_
 
+#include <base/env.h>
+#include <base/allocator.h>
 #include <base/exception.h>
 #include <base/stdint.h>