# HG changeset patch
# User Stefano Rivera <stefano@rivera.za.net>
# Date 1378157948 -7200
# Node ID c59c04c3e9711a47bc76592ae93ec2920e7a01fe
# Parent  ebdb910257dac0b37c81c001967665a7ff853768
Revert that crazy hack, nobody was meant to see it

diff -r ebdb910257da -r c59c04c3e971 tools/area_editor.py
--- a/tools/area_editor.py	Mon Sep 02 23:38:11 2013 +0200
+++ b/tools/area_editor.py	Mon Sep 02 23:39:08 2013 +0200
@@ -332,7 +332,7 @@
 if __name__ == "__main__":
     if len(sys.argv) == 2:
         level = EditorLevel(sys.argv[1])
-        level.load(set())
+        level.load()
     elif len(sys.argv) == 4:
         level = EditorLevel(sys.argv[1], int(sys.argv[2]), int(sys.argv[3]))
     else: