# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1618675823 -7200
# Node ID 9471aa12e82c61547de4dd989052556f2694cdc0
# Parent  42f3edfaeb7ba2ad77c69029abae8c2d3099ff54
Removed superfluous includes.

diff -r 42f3edfaeb7b -r 9471aa12e82c servers/block_file_server.cc
--- a/servers/block_file_server.cc	Thu Apr 15 23:15:51 2021 +0200
+++ b/servers/block_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
@@ -19,17 +19,14 @@
  * Boston, MA  02110-1301, USA
  */
 
-#include <l4/re/env.h>
 #include <l4/sys/err.h>
 
 #include <ipc/thread.h>
 
 #include <stdio.h>
-#include <string.h>
 #include <stdlib.h>
 
 #include <mem/memory_incremental.h>
-#include <mem/memory_utils.h>
 #include <fsserver/page_queue_shared.h>
 #include <fsserver/pages.h>
 #include <fsserver/resource_server.h>
diff -r 42f3edfaeb7b -r 9471aa12e82c servers/host_file_server.cc
--- a/servers/host_file_server.cc	Thu Apr 15 23:15:51 2021 +0200
+++ b/servers/host_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
@@ -19,17 +19,14 @@
  * Boston, MA  02110-1301, USA
  */
 
-#include <l4/re/env.h>
 #include <l4/sys/err.h>
 
 #include <ipc/thread.h>
 
 #include <stdio.h>
-#include <string.h>
 #include <stdlib.h>
 
 #include <mem/memory_incremental.h>
-#include <mem/memory_utils.h>
 #include <fsserver/page_queue_shared.h>
 #include <fsserver/pages.h>
 #include <fsserver/resource_server.h>
diff -r 42f3edfaeb7b -r 9471aa12e82c servers/test_file_server.cc
--- a/servers/test_file_server.cc	Thu Apr 15 23:15:51 2021 +0200
+++ b/servers/test_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
@@ -19,13 +19,11 @@
  * Boston, MA  02110-1301, USA
  */
 
-#include <l4/re/env.h>
 #include <l4/sys/err.h>
 
 #include <ipc/thread.h>
 
 #include <stdio.h>
-#include <string.h>
 #include <stdlib.h>
 
 #include <mem/memory_incremental.h>