Change private->public spec for error checking in mjCSkin recompilation.

Fixes #2485.

PiperOrigin-RevId: 735323174
Change-Id: Ifcc2055f6a74afaa18ad5228633f36f760adcffd
This commit is contained in:
Alessio Quaglino
2025-03-10 04:18:32 -07:00
committed by Copybara-Service
parent 4d024f9421
commit adc3cc06fa
5 changed files with 37 additions and 10 deletions
BIN
View File
Binary file not shown.