From cc2e6b08d1e6f5393d5043ae87cb77cc5d8d292b Mon Sep 17 00:00:00 2001
From: Bas Stottelaar <basstottelaar@gmail.com>
Date: Fri, 23 Oct 2020 14:37:01 +0200
Subject: [PATCH] core/*: ENABLE_DEBUG not needed for inttypes.h

---
 core/sched.c | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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