From d25085255d74fbc12f46ea2f9500c903ee72768e Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 2 Nov 2011 18:19:15 +0000
Subject: [PATCH] python: Include <config.h>.

Ooops ...
(cherry picked from commit 25454b83082a4cfed4f1664d2f9cdfcb222ba7c2)
---
 generator/generator_python.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/generator/generator_python.ml b/generator/generator_python.ml
index 48dd24f..3c35a91 100644
--- 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>
-- 
1.8.3.1