From 7e8431a855a11f90c245db9ac9ce36d907b81888 Mon Sep 17 00:00:00 2001 From: Sebastian Jahr Date: Sat, 9 Dec 2023 12:56:36 -0700 Subject: [PATCH] Add missing header (#2592) --- .../include/moveit/planning_interface/planning_request_adapter.h | 1 + 1 file changed, 1 insertion(+) diff --git a/moveit_core/planning_interface/include/moveit/planning_interface/planning_request_adapter.h b/moveit_core/planning_interface/include/moveit/planning_interface/planning_request_adapter.h index 1a25e49f5c..f001f6792d 100644 --- a/moveit_core/planning_interface/include/moveit/planning_interface/planning_request_adapter.h +++ b/moveit_core/planning_interface/include/moveit/planning_interface/planning_request_adapter.h @@ -40,6 +40,7 @@ #include #include +#include #include #include