summaryrefslogtreecommitdiff
path: root/otherlibs
diff options
context:
space:
mode:
authorHongbo Zhang <hzhang295@bloomberg.net>2016-08-19 10:02:45 -0400
committerGabriel Scherer <gabriel.scherer@gmail.com>2017-02-25 08:28:07 -0500
commit43212dd5817ebc7410ea534cd9507fa21ec6f444 (patch)
treec0810aaafdd82f7cf8e5f081346eee2c554726e1 /otherlibs
parentf84dd54f8be4ff895926ec2047be8d93053b97dc (diff)
downloadocaml-43212dd5817ebc7410ea534cd9507fa21ec6f444.tar.gz
change primitive names back to %string_safe_set
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/threads/pervasives.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml
index 97cb52bc7f..1bbcaaea44 100644
--- a/otherlibs/threads/pervasives.ml
+++ b/otherlibs/threads/pervasives.ml
@@ -495,7 +495,7 @@ let really_input_string ic len =
really_input ic s 0 len;
bytes_unsafe_to_string s
-external bytes_set : bytes -> int -> char -> unit = "%bytes_safe_set"
+external bytes_set : bytes -> int -> char -> unit = "%string_safe_set"
let input_line ic =
let buf = ref (bytes_create 128) in