# HG changeset patch
# User Neil Muller <drnlmuller@gmail.com>
# Date 1568127343 -7200
# Node ID 1eecaa7ed894d6c6183d231388f0dff7784937c6
# Parent  9ae338ad24162fd35429e41e21297291b69fe69c
fix

diff -r 9ae338ad2416 -r 1eecaa7ed894 tools/area_editor.py
--- a/tools/area_editor.py	Tue Sep 10 16:54:39 2019 +0200
+++ b/tools/area_editor.py	Tue Sep 10 16:55:43 2019 +0200
@@ -1338,7 +1338,7 @@
 
 if __name__ == "__main__":
     if len(sys.argv) not in [2, 4]:
-        print)'Please supply a levelname or levelname and level size')
+        print('Please supply a levelname or levelname and level size')
         sys.exit()
     # Need to ensure we have defaults for rendering
     parse_args([])