diff --git a/generator/generator_python.ml b/generator/generator_python.ml index c8448aa8c..10a4eca3c 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