From 3956fcbedd010330dd499065326d203bb1b56d3a Mon Sep 17 00:00:00 2001
From: Felix Exner <exner@fzi.de>
Date: Mon, 30 Sep 2024 08:29:54 +0200
Subject: [PATCH] Include <functional> in realtime_box_best_effort

---
 include/realtime_tools/realtime_box_best_effort.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/realtime_tools/realtime_box_best_effort.h b/include/realtime_tools/realtime_box_best_effort.h
index 4763c5a0..ee65ed68 100644
--- a/include/realtime_tools/realtime_box_best_effort.h
+++ b/include/realtime_tools/realtime_box_best_effort.h
@@ -31,6 +31,7 @@
 #ifndef REALTIME_TOOLS__REALTIME_BOX_BEST_EFFORT_H_
 #define REALTIME_TOOLS__REALTIME_BOX_BEST_EFFORT_H_
 
+#include <functional>
 #include <initializer_list>
 #include <mutex>
 #include <optional>