--- Gnu-Mach/kern/sched.h	2020/09/02 04:47:29	1.1.1.4
+++ Gnu-Mach/kern/sched.h	2020/09/02 04:49:53	1.1.1.5
@@ -38,7 +38,7 @@
 #include <kern/queue.h>
 #include <kern/lock.h>
 #include <kern/kern_types.h>
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 
 #if	MACH_FIXPRI
 #include <mach/policy.h>