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

Namespace plugin instances when attaching.

Browse Source 
Fixes #2112.

PiperOrigin-RevId: 681045462
Change-Id: I2c945c5405fcb91e0f9a1b0b1e94f68d174c84ee
This commit is contained in:
Alessio Quaglino
2024-10-01 09:13:43 -07:00
committed by Copybara-Service
parent 89aea5e217
commit dfe8e45101
5 changed files with 36 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/user/user_objects.h
+1
View File
@@ -1422,6 +1422,7 @@ class mjCPlugin : public mjCPlugin_ {
private:
void Compile(void); // compiler
void NameSpace(const mjCModel* m);
};