Fix strict C11 compilation of mjsan.h - #3514

Fix strict C11 compilation of mjsan.h#3514

sylvesterkaczmarek wants to merge 1 commit into

google-deepmind:maingoogle-deepmind/mujoco:mainfrom

sylvesterkaczmarek:fix/mjsan-gcc-strict-c11sylvesterkaczmarek/mujoco:fix/mjsan-gcc-strict-c11Copy head branch name to clipboard