Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/generic/src/synch/futex.c	(revision a5c468e1202a50cf26350e4a4d16303bc7323265)
@@ -59,5 +59,5 @@
 #include <mm/frame.h>
 #include <mm/page.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <proc/thread.h>
 #include <proc/task.h>