Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/include/proc/scheduler.h	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -36,7 +36,7 @@
 #define KERN_SCHEDULER_H_
 
+#include <stddef.h>
 #include <synch/spinlock.h>
 #include <time/clock.h>
-#include <typedefs.h>
 #include <atomic.h>
 #include <adt/list.h>