From e34d1550a4ec9409144a1f64cf7bc74bf883e820 Mon Sep 17 00:00:00 2001
From: Tomasz Gajewski <tomga@wp.pl>
Date: Sun, 23 May 2021 15:15:28 +0200
Subject: [PATCH] ssh_terminal: added missing include

Issue #4258
---
 repos/gems/src/server/ssh_terminal/login.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/src/server/ssh_terminal/login.h b/repos/gems/src/server/ssh_terminal/login.h
index 475fd11d36..b2df1bebd6 100644
--- a/repos/gems/src/server/ssh_terminal/login.h
+++ b/repos/gems/src/server/ssh_terminal/login.h
@@ -19,6 +19,7 @@
 /* Genode includes */
 #include <util/string.h>
 #include <base/heap.h>
+#include <base/registry.h>
 
 /* libssh includes */
 #include <libssh/libssh.h>