Add new header to correct warning for placement new
PiperOrigin-RevId: 562800238 Change-Id: I94c883488391f7e95347eb2fe8dc291125233fff
This commit is contained in:
committed by
Copybara-Service
parent
d5292976de
commit
8ffdee355a
@@ -20,6 +20,7 @@
|
|||||||
#ifdef __cplusplus
|
#ifdef __cplusplus
|
||||||
|
|
||||||
#include <atomic>
|
#include <atomic>
|
||||||
|
#include <new>
|
||||||
#include <thread>
|
#include <thread>
|
||||||
|
|
||||||
namespace mujoco {
|
namespace mujoco {
|
||||||
|
|||||||
Reference in New Issue
Block a user