From 7be0c6a88472ae4919c8b8c1b57f188e065f4c65 Mon Sep 17 00:00:00 2001 From: Sai Kishor Kothakota Date: Tue, 16 Jul 2024 09:47:31 +0200 Subject: [PATCH] [ResourceManager] Make destructor virtual for use in derived classes (#1607) --- .../include/hardware_interface/resource_manager.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hardware_interface/include/hardware_interface/resource_manager.hpp b/hardware_interface/include/hardware_interface/resource_manager.hpp index 5313162c29..313debcf58 100644 --- a/hardware_interface/include/hardware_interface/resource_manager.hpp +++ b/hardware_interface/include/hardware_interface/resource_manager.hpp @@ -75,7 +75,7 @@ class HARDWARE_INTERFACE_PUBLIC ResourceManager ResourceManager(const ResourceManager &) = delete; - ~ResourceManager(); + virtual ~ResourceManager(); /// Load resources from on a given URDF. /**