update

[l4.git] / l4 / pkg / moe / server / src / gc_support.cc

diff --git a/l4/pkg/moe/server/src/gc_support.cc b/l4/pkg/moe/server/src/gc_support.cc
index eb8ac1283fe03553474d8e89023e0e2b5fea8142..1d7bf528b10d63d2efe6171ecb6f93bf7e395a10 100644 (file)
--- a/l4/pkg/moe/server/src/gc_support.cc
+++ b/l4/pkg/moe/server/src/gc_support.cc
@@ -1,6 +1,7 @@
 
 #include <l4/sys/ipc_gate>
 #include <stdio.h>
+#include <unistd.h>
 #include <l4/sys/kdebug.h>
 
 #include "globals.h"