1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/ksbrk.h b/kernel/ksbrk.h
index 34987dc..a55d985 100644
--- a/kernel/ksbrk.h
+++ b/kernel/ksbrk.h
@@ -1,7 +1,7 @@
 #ifndef KSBRK_H
 #define KSBRK_H
 #include <stddef.h>
-#include <stdint.h>
+#include <typedefs.h>
 
 void* ksbrk(size_t s);
 void *ksbrk_physical(size_t s, void **physical);