From 8ffdee355a08df22340dfe8de498486d92dc6fb9 Mon Sep 17 00:00:00 2001
From: Matthew Bennice <mbennice@google.com>
Date: Tue, 5 Sep 2023 09:20:01 -0700
Subject: [PATCH] Add new header to correct warning for placement new

PiperOrigin-RevId: 562800238
Change-Id: I94c883488391f7e95347eb2fe8dc291125233fff
---
 src/thread/task.h | 1 +
 1 file changed, 1 insertion(+)

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 <atomic>
+#include <new>
 #include <thread>
 
 namespace mujoco {