diff options
Diffstat (limited to 'byterun/compare.c')
| -rw-r--r-- | byterun/compare.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/compare.c b/byterun/compare.c index 220682316..bf5b6e4dd 100644 --- a/byterun/compare.c +++ b/byterun/compare.c @@ -137,8 +137,8 @@ static long compare_val(value v1, value v2, int total) mlsize_t len1, len2, len; unsigned char * p1, * p2; if (v1 == v2) break; - len1 = string_length(v1); - len2 = string_length(v2); + len1 = caml_string_length(v1); + len2 = caml_string_length(v2); for (len = (len1 <= len2 ? len1 : len2), p1 = (unsigned char *) String_val(v1), p2 = (unsigned char *) String_val(v2); |