diff options
Diffstat (limited to 'generator/generator_java.ml')
| -rw-r--r-- | generator/generator_java.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generator/generator_java.ml b/generator/generator_java.ml index 7f138910..5a2afe94 100644 --- a/generator/generator_java.ml +++ b/generator/generator_java.ml @@ -314,6 +314,8 @@ and generate_java_c () = generate_header CStyle LGPLv2plus; pr "\ +#include <config.h> + #include <stdio.h> #include <stdlib.h> #include <string.h> |