diff options
| -rw-r--r-- | byterun/intern.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/byterun/intern.c b/byterun/intern.c index f0d5eb9fc..d94767898 100644 --- a/byterun/intern.c +++ b/byterun/intern.c @@ -498,7 +498,8 @@ static value input_val_from_block(void) CAMLexport value input_value_from_malloc(char * data, long ofs) { - mlsize_t magic, block_len; + uint32 magic; + mlsize_t block_len; value obj; intern_input = (unsigned char *) data; @@ -516,7 +517,8 @@ CAMLexport value input_value_from_malloc(char * data, long ofs) CAMLexport value input_value_from_block(char * data, long len) { - mlsize_t magic, block_len; + uint32 magic; + mlsize_t block_len; value obj; intern_input = (unsigned char *) data; |