diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2016-04-04 23:57:41 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-04-05 00:05:50 +0200 |
| commit | b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d (patch) | |
| tree | 5271e7e972356f0bda97c5027d05b7f237411f2b /kern | |
| parent | bb69f8133cc13e49d000a6f92e6b4ed534ec5924 (diff) | |
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.
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/rdxtree.h | 2 |
1 files changed, 1 insertions, 1 deletions
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. |