summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-01-10 20:08:38 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-01-10 20:08:38 +0000
commit7c7cad0ee2f27d474111f7b0f98c3f0eb58779bf (patch)
treef4ab20651c793c8722619871a6b4a2ba8b05bfb1 /stdlib
parent9e744ea2db9a0621442bf630cc2accb6578742fd (diff)
documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/gc.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli
index b7abae0c1..71b8ffa78 100644
--- a/stdlib/gc.mli
+++ b/stdlib/gc.mli
@@ -123,6 +123,8 @@ 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.
+ If compaction is permanently disabled, it is strongly suggested
+ to set [allocation_policy] to 1.
Default: 500. *)
mutable stack_limit : int;