diff options
| author | Emilio Jesus Gallego Arias | 2017-03-20 15:14:01 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-03-20 15:15:47 +0100 |
| commit | d25b1431eb73a04bdfc0f1ad2922819b69bba93a (patch) | |
| tree | a802bf020ea296283892aaca2304fcddc7a6b709 /kernel | |
| parent | 5e2574cbef1ba132aacc73b4a079cc0b5584f589 (diff) | |
[misc] Remove warnings about String.set
The `a.[i] <- x` notation is deprecated and we were getting a couple
of warnings.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/cemitcodes.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml index a0a13174ff..f2c3b402b3 100644 --- a/kernel/cemitcodes.ml +++ b/kernel/cemitcodes.ml @@ -106,10 +106,10 @@ let extend_label_table needed = let backpatch (pos, orig) = let displ = (!out_position - orig) asr 2 in - !out_buffer.[pos] <- Char.unsafe_chr displ; - !out_buffer.[pos+1] <- Char.unsafe_chr (displ asr 8); - !out_buffer.[pos+2] <- Char.unsafe_chr (displ asr 16); - !out_buffer.[pos+3] <- Char.unsafe_chr (displ asr 24) + Bytes.set !out_buffer pos @@ Char.unsafe_chr displ; + Bytes.set !out_buffer (pos+1) @@ Char.unsafe_chr (displ asr 8); + Bytes.set !out_buffer (pos+2) @@ Char.unsafe_chr (displ asr 16); + Bytes.set !out_buffer (pos+3) @@ Char.unsafe_chr (displ asr 24) let define_label lbl = if lbl >= Array.length !label_table then extend_label_table lbl; |
