X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/l4/pkg/mag/plugins/input_event/input_event.cc

diff --git a/l4/pkg/mag/plugins/input_event/input_event.cc b/l4/pkg/mag/plugins/input_event/input_event.cc
index 83787314e..e6a4fef5e 100644
--- a/l4/pkg/mag/plugins/input_event/input_event.cc
+++ b/l4/pkg/mag/plugins/input_event/input_event.cc
@@ -8,13 +8,12 @@
  * Please see the COPYING-GPL-2 file for details.
  */
 #include <l4/mag/server/input_driver>
+#include <l4/mag/server/input_source>
 
 #include <l4/sys/capability>
 #include <l4/re/console>
 #include <l4/re/util/event>
 
-#include <cstdio>
-
 namespace Mag_server {
 
 class Input_source_event : public Input_source