No public description

PiperOrigin-RevId: 809074980
Change-Id: Ib3e3522addceddba6a057cfef80fcbd30a420b3d
This commit is contained in:
Google DeepMind
2025-09-19 09:48:10 -07:00
committed by Copybara-Service
parent 77e025ea98
commit 26ea20a21f
16 changed files with 79 additions and 98 deletions
+1 -1
View File
@@ -297,7 +297,7 @@ int mjs_isWarning(mjSpec* s) {
void mj_deleteSpec(mjSpec* s) {
if (s) {
mjCModel* model = static_cast<mjCModel*>(s->element);
model->Release();
delete model;
}
}