From 667a70a10fb35362ce2f51898c90f0af21fa8158 Mon Sep 17 00:00:00 2001 From: Peter Nelson Date: Tue, 11 Mar 2025 17:13:45 +0000 Subject: [PATCH] Fix #13795: size_t mayn't be the same size as uint64_t. --- src/engine_base.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/engine_base.h b/src/engine_base.h index 2c8e16e79b..ab7862e9f5 100644 --- a/src/engine_base.h +++ b/src/engine_base.h @@ -213,7 +213,7 @@ struct EngineIDMapping { /** Projection to get a unique key of an EngineIDMapping, used for sorting in EngineOverrideManager. */ struct EngineIDMappingKeyProjection { - inline size_t operator()(const EngineIDMapping &eid) const { return eid.Key(); } + inline uint64_t operator()(const EngineIDMapping &eid) const { return eid.Key(); } }; /**