From 19690193a468537480b191cc6d5793abbbeb60d7 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 12 Aug 2020 18:13:06 +0200
Subject: [PATCH] Remove obsolete use of input_session/connection.h

---
 repos/gems/src/test/driver_manager/main.cc     | 1 -
 repos/ports/src/app/seoul/console.h            | 1 -
 repos/ports/src/virtualbox5/frontend/console.h | 1 -
 3 files changed, 3 deletions(-)

diff --git a/repos/gems/src/test/driver_manager/main.cc b/repos/gems/src/test/driver_manager/main.cc
index 95f3baa992..d7a973a097 100644
--- a/repos/gems/src/test/driver_manager/main.cc
+++ b/repos/gems/src/test/driver_manager/main.cc
@@ -16,7 +16,6 @@
 #include <base/attached_rom_dataspace.h>
 #include <base/allocator_avl.h>
 #include <base/heap.h>
-#include <input_session/connection.h>
 #include <block_session/connection.h>
 
 namespace Test {
diff --git a/repos/ports/src/app/seoul/console.h b/repos/ports/src/app/seoul/console.h
index dcab50bbf9..91080a0af9 100644
--- a/repos/ports/src/app/seoul/console.h
+++ b/repos/ports/src/app/seoul/console.h
@@ -30,7 +30,6 @@
 /* os includes */
 #include <framebuffer_session/connection.h>
 #include <input/event.h>
-#include <input_session/connection.h>
 #include <gui_session/connection.h>
 #include <timer_session/connection.h>
 
diff --git a/repos/ports/src/virtualbox5/frontend/console.h b/repos/ports/src/virtualbox5/frontend/console.h
index 7520c6ed39..184220593f 100644
--- a/repos/ports/src/virtualbox5/frontend/console.h
+++ b/repos/ports/src/virtualbox5/frontend/console.h
@@ -18,7 +18,6 @@
 #include <base/attached_rom_dataspace.h>
 #include <input/event.h>
 #include <input/keycodes.h>
-#include <input_session/connection.h>
 #define Framebuffer Fb_Genode
 #include <gui_session/connection.h>
 #undef Framebuffer