More fixups to mjtDepthMap names

2023-09-29 18:24:54 -04:00
parent 56403b4dce
commit 9e51f20ce2
7 changed files with 12 additions and 12 deletions
@@ -626,8 +626,8 @@ ENUMS: Mapping[str, EnumDecl] = dict([
         name='mjtDepthMap',
         declname='enum mjtDepthMap_',
         values=dict([
-             ('mjDEPTHMAP_01', 0),
-             ('mjDEPTHMAP_10', 1),
+             ('mjDEPTH_ZERONEAR', 0),
+             ('mjDEPTH_ZEROFAR', 1),
         ]),
     )),
    ('mjtFontScale',