From bfdc4138ba4aa923a8d8a845177196f9cb51076b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 13 Aug 2014 12:04:36 +0200
Subject: [PATCH] seoul: remove superfluous includes from console

The console included nitpicker_view headers, which were not used. The
headers vanished with the recent nitpicker API change, which broke the
build of seoul.
---
 repos/ports/src/app/seoul/console.h | 2 --
 1 file changed, 2 deletions(-)

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;