From d97e9c7ec583d0dd9229f6682789e38d996d1c35 Mon Sep 17 00:00:00 2001 From: mosfet80 <10235105+mosfet80@users.noreply.github.com> Date: Tue, 22 Jul 2025 15:49:38 +0200 Subject: [PATCH] fix BUFFER_HEADER_DEPRECATION fix BUFFER_HEADER_DEPRECATION --- .../moveit/occupancy_map_monitor/occupancy_map_monitor.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/moveit_ros/occupancy_map_monitor/include/moveit/occupancy_map_monitor/occupancy_map_monitor.hpp b/moveit_ros/occupancy_map_monitor/include/moveit/occupancy_map_monitor/occupancy_map_monitor.hpp index 7f58505143..1a50ab64f5 100644 --- a/moveit_ros/occupancy_map_monitor/include/moveit/occupancy_map_monitor/occupancy_map_monitor.hpp +++ b/moveit_ros/occupancy_map_monitor/include/moveit/occupancy_map_monitor/occupancy_map_monitor.hpp @@ -42,7 +42,7 @@ #include #include -#include +#include #include #include