diff options
| -rw-r--r-- | stdlib/gc.mli | 2 |
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;; |