From 3336f13a63c38358851881a074d1e41ffb7f9b0c Mon Sep 17 00:00:00 2001 From: Peter Nelson Date: Tue, 11 Mar 2025 17:55:33 +0000 Subject: [PATCH] Fix #13795: size_t mayn't be the same size as uint64_t. (#13796) --- 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(); } }; /**