From b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Mon, 4 Apr 2016 23:57:41 +0200
Subject: Fix bootstraping issues with stdint.h.

* include/mach/std_types.h: Do not include stdint.h.
* kern/rdxtree.h: Replace sys/types.h with stdint.h.
---
 kern/rdxtree.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/rdxtree.h')

diff --git a/kern/rdxtree.h b/kern/rdxtree.h
index 1f8456e0..9892d565 100644
--- a/kern/rdxtree.h
+++ b/kern/rdxtree.h
@@ -36,7 +36,7 @@
 #define _RDXTREE_H
 
 #include <stddef.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 /*
  * Initialize the node cache.
-- 
cgit v1.2.3