From d8539af412073ccefd6dc969f8ee47b13379f33c Mon Sep 17 00:00:00 2001
From: Piotr Tworek <tworaz@tworaz.net>
Date: Wed, 1 Jul 2020 00:34:22 +0200
Subject: [PATCH] platform_session: Add missing include.

The code uses Genode::Attached_dataspace but fails to include header
defining this type.

Fixes #3824
---
 repos/os/include/spec/arm/platform_session/connection.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/include/spec/arm/platform_session/connection.h b/repos/os/include/spec/arm/platform_session/connection.h
index 1f1660f34c..a13d3a207f 100644
--- a/repos/os/include/spec/arm/platform_session/connection.h
+++ b/repos/os/include/spec/arm/platform_session/connection.h
@@ -14,6 +14,7 @@
 #ifndef _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
 #define _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
 
+#include <base/attached_dataspace.h>
 #include <base/connection.h>
 #include <base/env.h>
 #include <platform_session/client.h>