summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2000-01-07 18:07:24 +0000
committerDamien Doligez <damien.doligez-inria.fr>2000-01-07 18:07:24 +0000
commit1f1165dfac595b77d39baa4b752869dd80e9f77e (patch)
tree02be0b5989a052a3b2a8639816803f30dc4f72f9
parentea77b3d4858a7aaa7dad9f25caac9fb7baa1d685 (diff)
modif doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/gc.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli
index 61f9f822d..71fcf27d7 100644
--- a/stdlib/gc.mli
+++ b/stdlib/gc.mli
@@ -143,7 +143,7 @@ val print_stat : out_channel -> unit
val allocated_bytes : unit -> int
(* Return the total number of bytes allocated since the program was
started. Warning: on 32-bit machines, this counter can easily
- get beyond [max_int] and roll over. *)
+ overflow and roll over. *)
val finalise : ('a -> unit) -> 'a -> unit;;