diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-23 13:33:39 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-03-14 20:50:39 +0100 |
commit | 6098d329afc1e212ff866212a8f7815969a460ad (patch) | |
tree | 6d550cf131a20a77dc64a095191f808554ba5df8 /kernel/nativevalues.ml | |
parent | 3a050f305293676ccf66d415ab386d9521f0f765 (diff) |
[safe-string] kernel/nativevalues
No functional change.
Diffstat (limited to 'kernel/nativevalues.ml')
-rw-r--r-- | kernel/nativevalues.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/kernel/nativevalues.ml b/kernel/nativevalues.ml index 8093df304..965ed67b0 100644 --- a/kernel/nativevalues.ml +++ b/kernel/nativevalues.ml @@ -491,12 +491,12 @@ let str_encode expr = let str_decode s = let mshl_expr_len = String.length s / 2 in let mshl_expr = Buffer.create mshl_expr_len in - let buf = String.create 2 in + let buf = Bytes.create 2 in for i = 0 to mshl_expr_len - 1 do - String.blit s (2*i) buf 0 2; - Buffer.add_char mshl_expr (bin_of_hex buf) + Bytes.blit_string s (2*i) buf 0 2; + Buffer.add_char mshl_expr (bin_of_hex (Bytes.to_string buf)) done; - Marshal.from_string (Buffer.contents mshl_expr) 0 + Marshal.from_bytes (Buffer.to_bytes mshl_expr) 0 (** Retroknowledge, to be removed when we switch to primitive integers *) |