diff --git a/src/threading/serial.hpp b/src/threading/serial.hpp index d32058172ca0c2d5c9bb877f8402f7fc7fc9af3f..de9e3180271da68440b600918081e155fc34a1fb 100644 --- a/src/threading/serial.hpp +++ b/src/threading/serial.hpp @@ -4,6 +4,7 @@ #error "this header can only be loaded if WITH_SERIAL is set" #endif +#include <algorithm> #include <array> #include <chrono> #include <string>