diff --git a/src/thread/task.h b/src/thread/task.h index 296592a5..1a4f8c28 100644 --- a/src/thread/task.h +++ b/src/thread/task.h @@ -20,6 +20,7 @@ #ifdef __cplusplus #include +#include #include namespace mujoco {