Version 2.1.4: Switch to GLAD, minor improvements to simulate.

PiperOrigin-RevId: 439277749 Change-Id: I741d1c499ae88753338fcc6d141a65e92e13023e
2022-04-04 13:53:21 +01:00
parent 3c71720d83
commit 90dea1bdfb
23 changed files with 270 additions and 298 deletions
@@ -569,8 +569,9 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjFRAME_SITE', 3),
             ('mjFRAME_CAMERA', 4),
             ('mjFRAME_LIGHT', 5),
-             ('mjFRAME_WORLD', 6),
-             ('mjNFRAME', 7),
+             ('mjFRAME_CONTACT', 6),
+             ('mjFRAME_WORLD', 7),
+             ('mjNFRAME', 8),
         ]),
     )),
    ('mjtVisFlag',