diff options
Diffstat (limited to 'byterun/parsing.c')
-rw-r--r-- | byterun/parsing.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/parsing.c b/byterun/parsing.c index ffb43812d..32beb843b 100644 --- a/byterun/parsing.c +++ b/byterun/parsing.c @@ -15,6 +15,7 @@ /* The PDA automaton for parsers generated by camlyacc */ #include <stdio.h> +#include <string.h> #include "config.h" #include "mlvalues.h" #include "memory.h" |