diff options
Diffstat (limited to 'byterun/extern.c')
| -rw-r--r-- | byterun/extern.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/byterun/extern.c b/byterun/extern.c index 4fb806840..4e96bc4c4 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -583,13 +583,12 @@ static intnat extern_value(value v, value flags) void caml_output_val(struct channel *chan, value v, value flags) { - intnat len; struct output_block * blk, * nextblk; if (! caml_channel_binary_mode(chan)) caml_failwith("output_value: not a binary channel"); init_extern_output(); - len = extern_value(v, flags); + extern_value(v, flags); /* During [caml_really_putblock], concurrent [caml_output_val] operations can take place (via signal handlers or context switching in systhreads), and [extern_output_first] may change. So, save it in a local variable. */ |