| 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()
|
|
|
|
|
|
|