No public description

PiperOrigin-RevId: 809083979
Change-Id: I5c6641b73c76153c15f5cdf858b788e1433acc81
This commit is contained in:
Google DeepMind
2025-09-19 10:09:54 -07:00
committed by Copybara-Service
parent 26ea20a21f
commit 0e1104768a
16 changed files with 98 additions and 79 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);
delete model;
model->Release();
}
}