Revert commit d627374545.

This commit requires a new binary build, and therefore breaks compatibility with version 2.1.3. Fixes #217. Change-Id: I1e08b6fd2c468e3845e2166a1e4cc9d265de64de
2022-03-31 11:50:42 +01:00
parent e1e0d5c435
commit 3c71720d83
4 changed files with 67 additions and 71 deletions
@@ -569,9 +569,8 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjFRAME_SITE', 3),
             ('mjFRAME_CAMERA', 4),
             ('mjFRAME_LIGHT', 5),
-             ('mjFRAME_CONTACT', 6),
-             ('mjFRAME_WORLD', 7),
-             ('mjNFRAME', 8),
+             ('mjFRAME_WORLD', 6),
+             ('mjNFRAME', 7),
         ]),
     )),
    ('mjtVisFlag',