python: Include <config.h>.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 2 Nov 2011 18:19:15 +0000 (18:19 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 2 Nov 2011 18:19:15 +0000 (18:19 +0000)
commit25454b83082a4cfed4f1664d2f9cdfcb222ba7c2
tree5ca9353de72795b6ff1be6d90acf870efed3a9a1
parent646142f5136da9cfe2b908703a822c53350f70e9
python: Include <config.h>.

Ooops ...
generator/generator_python.ml