# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1550673074 -3600
# Node ID 3cf80b18e7194567f430289e8eec4921897eeb15
# Parent  3a6ae5e58fab9d3f8f36a3846f0db5ba1f594399
Removed superfluous includes.

diff -r 3a6ae5e58fab -r 3cf80b18e719 pkg/landfall-examples/input_event_client/input_event_client.cc
--- a/pkg/landfall-examples/input_event_client/input_event_client.cc	Wed Feb 20 15:30:48 2019 +0100
+++ b/pkg/landfall-examples/input_event_client/input_event_client.cc	Wed Feb 20 15:31:14 2019 +0100
@@ -45,9 +45,6 @@
 
 #include <l4/devices/input-event-loop.h>
 
-#include <pthread.h>
-#include <pthread-l4.h>
-
 #include <l4/re/c/util/video/goos_fb.h>
 #include <l4/re/c/video/view.h>
 
diff -r 3a6ae5e58fab -r 3cf80b18e719 pkg/landfall-examples/keypad_ds_client/keypad_ds_client_c.c
--- a/pkg/landfall-examples/keypad_ds_client/keypad_ds_client_c.c	Wed Feb 20 15:30:48 2019 +0100
+++ b/pkg/landfall-examples/keypad_ds_client/keypad_ds_client_c.c	Wed Feb 20 15:31:14 2019 +0100
@@ -30,7 +30,6 @@
 #include <l4/re/c/util/video/goos_fb.h>
 #include <l4/re/c/video/view.h>
 
-#include <l4/util/util.h>
 #include <stdio.h>
 #include <unistd.h>
 #include <stdint.h>