diff options
Diffstat (limited to 'generator/generator.ml')
| -rwxr-xr-x | generator/generator.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generator/generator.ml b/generator/generator.ml index 943039c..d8efc04 100755 --- a/generator/generator.ml +++ b/generator/generator.ml @@ -704,6 +704,7 @@ let rec generate_c_header () = #ifndef HIVEX_H_ #define HIVEX_H_ +#include <stdlib.h> #include <stdint.h> #ifdef __cplusplus |