diff --git a/repos/ports/src/app/seoul/console.h b/repos/ports/src/app/seoul/console.h
index bb38f5d1ee..0bf18a9f81 100644
--- a/repos/ports/src/app/seoul/console.h
+++ b/repos/ports/src/app/seoul/console.h
@@ -34,8 +34,6 @@
 /* includes for I/O */
 #include <base/env.h>
 #include <util/list.h>
-#include <nitpicker_session/connection.h>
-#include <nitpicker_view/client.h>
 #include <input/event.h>
 
 using Genode::List;