Fix formatting of large unsigned numbers in mju_warningText.

PiperOrigin-RevId: 479902611 Change-Id: Ia7187478a246b8b068684e75d6f3851d749844c9
2022-10-09 04:54:39 -07:00
parent c2f1381f31
commit 1a393429ef
5 changed files with 15 additions and 13 deletions
@@ -6886,7 +6886,7 @@ FUNCTIONS: Mapping[str, FunctionDecl] = dict([
             ),
             FunctionParameterDecl(
                 name='info',
-                 type=ValueType(name='int'),
+                 type=ValueType(name='size_t'),
             ),
         ),
         doc='Construct a warning message given the warning type and info.',