Remove mjOption.collision and associated option/collision attribute.

PiperOrigin-RevId: 566427090 Change-Id: I6e5873b8db707586820b17b53c7ab4bbff0f0b2b
2023-09-18 15:14:33 -07:00
parent 9902b73502
commit 9cf1f6eba4
18 changed files with 108 additions and 208 deletions
@@ -223,11 +223,6 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 type=ValueType(name='int'),
                 doc='integration mode (mjtIntegrator)',
             ),
-             StructFieldDecl(
-                 name='collision',
-                 type=ValueType(name='int'),
-                 doc='collision mode (mjtCollision)',
-             ),
             StructFieldDecl(
                 name='cone',
                 type=ValueType(name='int'),