Update MuJoCo internal version to be the external version +1

PiperOrigin-RevId: 623607403
Change-Id: Ia8f6516bb6b2fb6a3ecb8273b59e61667098f308
This commit is contained in:
Gabe Oppenheimer
2024-04-10 14:31:52 -07:00
committed by Copybara-Service
parent 6d1f0a3ec6
commit 225619c964
16 changed files with 34 additions and 34 deletions
+1 -1
View File
@@ -108,7 +108,7 @@ public const int mjMAXLINEPNT = 1000;
public const int mjMAXPLANEGRID = 200;
public const bool THIRD_PARTY_MUJOCO_MJXMACRO_H_ = true;
public const bool THIRD_PARTY_MUJOCO_MUJOCO_H_ = true;
public const int mjVERSION_HEADER = 314;
public const int mjVERSION_HEADER = 315;
// ------------------------------------Enums------------------------------------