diff --git a/core/sched.c b/core/sched.c
index 8ef0f06ba7..50254a63c2 100644
--- a/core/sched.c
+++ b/core/sched.c
@@ -20,6 +20,7 @@
  */
 
 #include <stdint.h>
+#include <inttypes.h>
 
 #include "sched.h"
 #include "clist.h"
@@ -35,11 +36,6 @@
 #define ENABLE_DEBUG 0
 #include "debug.h"
 
-#if ENABLE_DEBUG
-/* For PRIu16 etc. */
-#include <inttypes.h>
-#endif
-
 #ifdef PICOLIBC_TLS
 #include <picotls.h>
 #endif