1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/timer.h b/kernel/timer.h
index 3b9ecdf..57ea21e 100644
--- a/kernel/timer.h
+++ b/kernel/timer.h
@@ -1,4 +1,4 @@
-#include "lib/int/stdint.h"
+#include <stdint.h>
 
 void timer_init();
 void timer_tick();