diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/.cvsignore | 3 | ||||
| -rw-r--r-- | stdlib/gc.mli | 5 |
2 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/.cvsignore b/stdlib/.cvsignore index 6921a35c0..556687830 100644 --- a/stdlib/.cvsignore +++ b/stdlib/.cvsignore @@ -1,3 +1,4 @@ camlheader camlheader_ur -labelled-*
\ No newline at end of file +labelled-* +caml diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 26b13dabc..c70c91c77 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -39,7 +39,8 @@ type stat = since the program was started (including the initial allocation of the heap). *) live_words : int; - (** Number of words of live data in the major heap, including the header words.*) + (** Number of words of live data in the major heap, including the header + words. *) live_blocks : int; (** Number of live blocks in the major heap. *) free_words : int; @@ -105,7 +106,7 @@ type control = compaction is triggered at the end of each major GC cycle (this setting is intended for testing purposes only). If [max_overhead >= 1000000], compaction is never triggered. - Default: 1000000. *) + Default: 300. *) mutable stack_limit : int; (** The maximum size of the stack (in words). This is only |