From 88478237211c047e9a924e306b8de6767206ed74 Mon Sep 17 00:00:00 2001 From: Taylor Howell Date: Mon, 17 Aug 2026 10:06:40 -0700 Subject: [PATCH] update doc/mjwarp/update_types.py PiperOrigin-RevId: 966037324 Change-Id: Iabc84fe3a871d6fdf8b6619ee048ac0273462d55 --- doc/mjwarp/update_types.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/mjwarp/update_types.py b/doc/mjwarp/update_types.py index 316b2d2e..88eec3da 100644 --- a/doc/mjwarp/update_types.py +++ b/doc/mjwarp/update_types.py @@ -68,7 +68,7 @@ def process_file(filepath): print(f'Error: Could not find {filepath}', file=sys.stderr) return - new_content = re.sub(r'array\(([^)]+)\)', replace_array_calls, content) + new_content = re.sub(r'(?