diff options
Diffstat (limited to 'stdlib/gc.mli')
| -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 4d36a29f2e..736e324f3f 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -86,7 +86,7 @@ type control = mutable major_heap_increment : int; (** The minimum number of words to add to the - major heap when increasing it. Default: 62k. *) + major heap when increasing it. Default: 60k. *) mutable space_overhead : int; (** The major GC speed is computed from this parameter. |