From 0e406b03b5d87fc63f47b86ccbde8ea2c7c886ca Mon Sep 17 00:00:00 2001 From: Kristi Date: Thu, 23 Jan 2025 10:23:04 -0800 Subject: [PATCH] Update src/umpire/ResourceManager.hpp Co-authored-by: David Beckingsale --- src/umpire/ResourceManager.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/umpire/ResourceManager.hpp b/src/umpire/ResourceManager.hpp index e39ce9fb2..dc5bd52c6 100644 --- a/src/umpire/ResourceManager.hpp +++ b/src/umpire/ResourceManager.hpp @@ -328,7 +328,7 @@ class ResourceManager { util::AllocationMap m_allocations; std::list> m_allocators; - std::vector m_shared_allocators_by_name; + std::vector m_shared_allocator_names; std::unordered_map m_allocators_by_id; std::unordered_map m_allocators_by_name;