summaryrefslogtreecommitdiff
path: root/stdlib/gc.ml
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2022-01-12 18:52:58 +0100
committerGitHub <noreply@github.com>2022-01-12 18:52:58 +0100
commit2526e225838b868a3b0109fd9a8da36a8f1e0c29 (patch)
treee85e3aef06b55a80805a10f629a2b2d5c4e66211 /stdlib/gc.ml
parent1546e1f86f87485637719c86d92f32df9292997f (diff)
downloadocaml-2526e225838b868a3b0109fd9a8da36a8f1e0c29.tar.gz
Remove deprecated functions (#10867)
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r--stdlib/gc.ml14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml
index 64b1d8aff6..2ef34b5f06 100644
--- a/stdlib/gc.ml
+++ b/stdlib/gc.ml
@@ -35,13 +35,13 @@ type stat = {
}
type control = {
- mutable minor_heap_size : int;
- mutable major_heap_increment : int;
- mutable space_overhead : int;
- mutable verbose : int;
- mutable max_overhead : int;
- mutable stack_limit : int;
- mutable allocation_policy : int;
+ minor_heap_size : int;
+ major_heap_increment : int;
+ space_overhead : int;
+ verbose : int;
+ max_overhead : int;
+ stack_limit : int;
+ allocation_policy : int;
window_size : int;
custom_major_ratio : int;
custom_minor_ratio : int;