chore: remove unused optional

frankaemika · Aug 8, 2024 · 77ec32a · 77ec32a
1 parent ed57874
commit 77ec32a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/control_loop.h b/src/control_loop.h
@@ -4,7 +4,6 @@
 
 #include <cmath>
 #include <functional>
-#include <optional>
 
 #include <franka/control_types.h>
 #include <franka/duration.h>