--- Gnu-Mach/kern/timer.h	2020/09/02 04:47:32	1.1.1.4
+++ Gnu-Mach/kern/timer.h	2020/09/02 04:49:53	1.1.1.5
@@ -27,7 +27,7 @@
 #ifndef	_KERN_TIMER_H_
 #define _KERN_TIMER_H_
 
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 
 #if	STAT_TIME
 /*