chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update doc/mjwarp/update_types.py

Browse Source 
PiperOrigin-RevId: 966037324
Change-Id: Iabc84fe3a871d6fdf8b6619ee048ac0273462d55
This commit is contained in:
Taylor Howell
2026-08-17 10:06:40 -07:00
committed by Copybara-Service
parent 26aaeb035f
commit 8847823721
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/mjwarp/update_types.py
+1 -1
View File
@@ -68,7 +68,7 @@ def process_file(filepath):
print(f'Error: Could not find {filepath}', file=sys.stderr) print(f'Error: Could not find {filepath}', file=sys.stderr)
return return
new_content = re.sub(r'array\(([^)]+)\)', replace_array_calls, content) new_content = re.sub(r'(?<!\.)\barray\(([^)]+)\)', replace_array_calls, content)
with open(filepath, 'w') as f: with open(filepath, 'w') as f:
f.write(new_content) f.write(new_content)