python: Include <config.h>.

Ooops ...

diff --git a/generator/generator_python.ml b/generator/generator_python.ml
index c8448aa..10a4eca 100644 (file)
--- a/generator/generator_python.ml
+++ b/generator/generator_python.ml
@@ -35,6 +35,8 @@ let rec generate_python_c () =
   generate_header CStyle LGPLv2plus;
 
   pr "\
+#include <config.h>
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <assert.h>