From efd03711cc8c73eb75545574812e827bf78da3bb Mon Sep 17 00:00:00 2001
From: Michele Caini <michele.caini@gmail.com>
Date: Wed, 25 Oct 2023 17:01:56 +0200
Subject: [PATCH] config: provide coverage for user defined ENTT_ID_TYPE in the
 std namespace

---
 src/entt/config/config.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/entt/config/config.h b/src/entt/config/config.h
index 8a4a860d3..3ba512d90 100644
--- a/src/entt/config/config.h
+++ b/src/entt/config/config.h
@@ -25,6 +25,8 @@
 #ifndef ENTT_ID_TYPE
 #    include <cstdint>
 #    define ENTT_ID_TYPE std::uint32_t
+#else
+#    include <cstdint> // provides coverage for types in the std namespace
 #endif
 
 #ifndef ENTT_SPARSE_PAGE