diff options
| -rw-r--r-- | generator/generator_c.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generator/generator_c.ml b/generator/generator_c.ml index 3e7f314a..d2275acc 100644 --- a/generator/generator_c.ml +++ b/generator/generator_c.ml @@ -658,6 +658,8 @@ and generate_client_actions () = generate_header CStyle LGPLv2plus; pr "\ +#include <config.h> + #include <stdio.h> #include <stdlib.h> #include <stdint.h> |