diff --git a/include/core/threaded/worker_assignments.h b/include/core/threaded/worker_assignments.h
index 5bd5d1589..163f1bddc 100644
--- a/include/core/threaded/worker_assignments.h
+++ b/include/core/threaded/worker_assignments.h
@@ -39,6 +39,7 @@ THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 #include "scheduler.h"
 #include "util.h"
+#include "platform.h"
 
 /** The queued reactions. */
 static reaction_t**** reactions_by_worker_by_level;