--- Gnu-Mach/kern/counters.c	2020/09/02 04:42:41	1.1.1.2
+++ Gnu-Mach/kern/counters.c	2020/09/02 04:45:12	1.1.1.3
@@ -24,8 +24,6 @@
  * the rights to redistribute these changes.
  */
 
-#include <mach_counters.h>
-
 #include <kern/counters.h>
 
 /*