diff options
Diffstat (limited to 'stdlib/list.ml')
-rw-r--r-- | stdlib/list.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/list.ml b/stdlib/list.ml index a1a9c3ac51..f7846df199 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -290,7 +290,7 @@ let fast_sort = stable_sort;; Also, there seems to be a bug in this code or in the implementation of obj_truncate. -external obj_truncate : 'a array -> int -> unit = "obj_truncate" +external obj_truncate : 'a array -> int -> unit = "caml_obj_truncate" let array_to_list_in_place a = let l = Array.length a in |