From 1783587f4177d30508a92600f420b339670a07ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20G=C3=B6rner?= Date: Fri, 12 Jul 2019 17:25:10 +0200 Subject: [PATCH] add missing header (#100) ... for Qt 5.12.3 --- visualization/motion_planning_tasks/src/task_panel.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/visualization/motion_planning_tasks/src/task_panel.cpp b/visualization/motion_planning_tasks/src/task_panel.cpp index 213e12da..359f5f58 100644 --- a/visualization/motion_planning_tasks/src/task_panel.cpp +++ b/visualization/motion_planning_tasks/src/task_panel.cpp @@ -56,6 +56,7 @@ #include #include #include +#include namespace moveit_rviz_plugin {