Index: tools/create_editor.py |
diff --git a/tools/create_editor.py b/tools/create_editor.py |
index f5c890a016adc0989195611296f2d488b72b042d..74fa1330a9beedca3e37e77f2166990c59313eea 100644 |
--- a/tools/create_editor.py |
+++ b/tools/create_editor.py |
@@ -84,7 +84,7 @@ def Modify64BitDartEditorIni(iniFilePath): |
# Add -d64 to give better error messages to user in 64 bit mode. |
lines[lines.index('-vmargs\n')] = '-vmargs\n-d64\n' |
f = open(iniFilePath, 'w') |
- f.writelines(lines); |
+ f.writelines(lines) |
f.close() |