summaryrefslogtreecommitdiff
path: root/stdlib/list.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
committerDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
commit5a678d29f58926a5cd7db0c9121c69cb603a77f9 (patch)
treec8157238e17990d5d90f9eeb1c08506e253593bb /stdlib/list.ml
parent331b2d89c3dc4fb7e1b51276a5a9e37a6c8c8b3a (diff)
downloadocaml-5a678d29f58926a5cd7db0c9121c69cb603a77f9.tar.gz
depollution suite (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/list.ml')
-rw-r--r--stdlib/list.ml2
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