Increase mjNSENS to 3

PiperOrigin-RevId: 788468705 Change-Id: Id22f131bebb6accc9a29c9aa285efa75fa8b2c16
2025-07-29 08:37:08 -07:00
parent 4575089f48
commit a771fc6c09
7 changed files with 13 additions and 11 deletions
@@ -10408,7 +10408,7 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 name='intprm',
                 type=ArrayType(
                     inner_type=ValueType(name='int'),
-                     extents=(2,),
+                     extents=(3,),
                 ),
                 doc='integer parameters',
             ),