--- Gnu-Mach/kern/rdxtree.h	2020/09/02 04:49:51	1.1
+++ Gnu-Mach/kern/rdxtree.h	2020/09/02 04:51:58	1.1.1.2
@@ -36,7 +36,7 @@
 #define _RDXTREE_H
 
 #include <stddef.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 /*
  * Initialize the node cache.