From 4fe0f3d99e32a0cb55ba9b89671b82507c416156 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Tue, 2 Jun 2020 13:49:54 +0900
Subject: [PATCH] stdint.h: Fix a comment

---
 include/stdint.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/stdint.h b/include/stdint.h
index 60be0e548d..0d6e10ab94 100644
--- a/include/stdint.h
+++ b/include/stdint.h
@@ -299,5 +299,5 @@ typedef _int32_t            intmax_t;
 typedef _uint32_t           uintmax_t;
 #endif
 
-#endif /* CONFIG_ARCH_STDBOOL_H */
+#endif /* CONFIG_ARCH_STDINT_H */
 #endif /* __INCLUDE_STDINT_H */