Updating Mujoco Release version number to v3.1.1

PiperOrigin-RevId: 590712172
Change-Id: Ibf32322222212c1bf098e75bbb2e145344c57b93
This commit is contained in:
Google DeepMind
2023-12-13 14:25:10 -08:00
committed by Copybara-Service
parent 537d649e95
commit c2c76195dd
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 = 310;
public const int mjVERSION_HEADER = 311;
// ------------------------------------Enums------------------------------------