diff options
Diffstat (limited to 'generator/generator_erlang.ml')
| -rw-r--r-- | generator/generator_erlang.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generator/generator_erlang.ml b/generator/generator_erlang.ml index 0248770e..3c783e56 100644 --- a/generator/generator_erlang.ml +++ b/generator/generator_erlang.ml @@ -142,6 +142,8 @@ and generate_erlang_c () = generate_header CStyle GPLv2plus; pr "\ +#include <config.h> + #include <stdio.h> #include <stdlib.h> #include <string.h> |