diff -r a14012352f65 Tools/scripts/generate_opcode_h.py --- a/Tools/scripts/generate_opcode_h.py Mon Apr 28 13:08:28 2014 +0200 +++ b/Tools/scripts/generate_opcode_h.py Mon Apr 28 15:08:18 2014 -0400 @@ -1,5 +1,7 @@ # This script generates the opcode.h header file. +from __future__ import with_statement + import sys header = """/* Auto-generated by Tools/scripts/generate_opcode_h.py */ #ifndef Py_OPCODE_H