X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/f4122e6e085938b6d216a9ec724b974a603f6992..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/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 eb8ac1283..1d7bf528b 100644
--- 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"