config: provide coverage for user defined ENTT_ID_TYPE in the std namespace

2023-10-25 17:01:56 +02:00
parent 4c067ee13d
commit efd03711cc
1 changed files with 2 additions and 0 deletions
--- 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