From 73b65084e2504e7e3807eb7d3a5fff565aa1a3f7 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 25 Jun 2024 12:50:28 +0200
Subject: [PATCH] pin_session: add missing header

Fix genodelabs/genode#5258
---
 repos/os/include/pin_state_session/connection.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/include/pin_state_session/connection.h b/repos/os/include/pin_state_session/connection.h
index e223123ffa..535a419f85 100644
--- a/repos/os/include/pin_state_session/connection.h
+++ b/repos/os/include/pin_state_session/connection.h
@@ -16,6 +16,7 @@
 
 #include <pin_state_session/pin_state_session.h>
 #include <base/connection.h>
+#include <base/rpc_client.h>
 
 namespace Pin_state { struct Connection; }