Remove fine-grained timing from narrow-phase collision functions, delete mjTIMER_COL_MID.

PiperOrigin-RevId: 599225419 Change-Id: Ieca166753c20a0abf660e2821b2844dda8758951
2024-01-17 10:53:19 -08:00
parent edc254b213
commit 2feefbc5d2
9 changed files with 17 additions and 44 deletions
@@ -4154,7 +4154,7 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 name='timer',
                 type=ArrayType(
                     inner_type=ValueType(name='mjTimerStat'),
-                     extents=(16,),
+                     extents=(15,),
                 ),
                 doc='timer statistics',
             ),