Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/include/proc/scheduler.h	(revision f98434b82c695232419821abbc90afe44dea6699)
@@ -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>