Remove mjm_finalize.

PiperOrigin-RevId: 609284351 Change-Id: I066332784d8210de6fec5aa718e097c9ef67903c
2024-02-22 01:26:13 -08:00
parent 7edacd39cd
commit 5fe3e169ab
5 changed files with 11 additions and 25 deletions
@@ -727,9 +727,6 @@ MJAPI mjmModel* mjm_createModel();
 // Delete model.
 MJAPI void mjm_deleteModel(mjmModel* modelspec);

-// Copy spec into private attributes.
-MJAPI void mjm_finalize(mjElement object);
-
 // Add child body to body, return child spec.
 MJAPI mjmBody* mjm_addBody(mjmBody* body, mjmDefault* def);