From 9a1f977e39d8e9fcb6a9cb2a612f4743e802221d Mon Sep 17 00:00:00 2001
From: Anton Kling <anton@kling.gg>
Date: Fri, 10 Nov 2023 15:47:08 +0100
Subject: Kernel Style: Change uint*_t -> u*

---
 kernel/ksbrk.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/ksbrk.c')

diff --git a/kernel/ksbrk.c b/kernel/ksbrk.c
index 755a4ed..82fc5ed 100644
--- a/kernel/ksbrk.c
+++ b/kernel/ksbrk.c
@@ -2,7 +2,7 @@
 #include <ksbrk.h>
 #include <mmu.h>
 #include <stddef.h>
-#include <stdint.h>
+#include <typedefs.h>
 
 /*
 extern uintptr_t data_end;
-- 
cgit v1.2.3