--- Gnu-Mach/kern/ast.h	2020/09/02 04:45:17	1.1.1.3
+++ Gnu-Mach/kern/ast.h	2020/09/02 04:49:54	1.1.1.4
@@ -41,7 +41,7 @@
  */
 
 #include "cpu_number.h"
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 #include <machine/ast.h>
 
 /*