Update MuJoCo version to 2.3.3.

PiperOrigin-RevId: 517931617
Change-Id: I7c9960290f1b6e5d5f68a54df617a580f23c57e9
This commit is contained in:
Nimrod Gileadi
2023-03-20 04:35:30 -07:00
committed by Copybara-Service
parent 8696247f9d
commit 33a2ce73d4
14 changed files with 27 additions and 27 deletions
+1 -1
View File
@@ -101,7 +101,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 = 232;
public const int mjVERSION_HEADER = 233;
// ------------------------------------Enums------------------------------------