diff --git a/tools/worlddump.py b/tools/worlddump.py index 1ce931efd5..1244dfbec3 100755 --- a/tools/worlddump.py +++ b/tools/worlddump.py @@ -17,6 +17,8 @@ """Dump the state of the world for post mortem.""" +from __future__ import print_function + import argparse import datetime from distutils import spawn