Fixed small bug with encoding

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Mar 27, 2024 · a7c6246 · a7c6246
1 parent 42715a0
commit a7c6246
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/unicode_number_set_shim.py b/.github/scripts/unicode_number_set_shim.py
@@ -62,7 +62,7 @@ def get_insertion_point(tree, query):
 
 def insert_defs(module_path, insertion_point, defs):
     def_bytes = bytes(defs, 'utf-8')
-    with open(module_path, 'rb+', encoding='utf-8') as module:
+    with open(module_path, 'rb+') as module:
         module_bytes = bytearray(module.read())
         module_bytes[insertion_point:insertion_point] = def_bytes
         module.write(module_bytes)