chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Narrow some includes in src/user/

Browse Source 
PiperOrigin-RevId: 734389490
Change-Id: I2834aadbbb38b396536e467c0dfea11dcc21972f
This commit is contained in:
Yuval Tassa
2025-03-06 20:44:28 -08:00
committed by Copybara-Service
parent e04e0e5c3d
commit 109a223cf6
7 changed files with 6 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/user/user_resource.cc
-1
View File
@@ -35,7 +35,6 @@
#endif
#include <mujoco/mjplugin.h>
#include <mujoco/mujoco.h>
#include "engine/engine_plugin.h"
#include "engine/engine_util_misc.h"
#include "user/user_util.h"