From f3dfc7a0de14ee6f833580aea827c892493fbfaa Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 2 Nov 2011 18:19:15 +0000 Subject: [PATCH] python: Include . 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 c8448aa..10a4eca 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 + #include #include #include -- 1.8.3.1