diff options
| -rw-r--r-- | byterun/minor_gc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/minor_gc.c b/byterun/minor_gc.c index 06cc45ef72..ed1d688747 100644 --- a/byterun/minor_gc.c +++ b/byterun/minor_gc.c @@ -69,7 +69,7 @@ void oldify (value v, value *p) value result, field0; header_t hd; mlsize_t sz, i; - int tag; + tag_t tag; tail_call: if (Is_block (v) && Is_young (v)){ |