diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-01-12 18:52:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-12 18:52:58 +0100 |
commit | 2526e225838b868a3b0109fd9a8da36a8f1e0c29 (patch) | |
tree | e85e3aef06b55a80805a10f629a2b2d5c4e66211 /stdlib/gc.ml | |
parent | 1546e1f86f87485637719c86d92f32df9292997f (diff) | |
download | ocaml-2526e225838b868a3b0109fd9a8da36a8f1e0c29.tar.gz |
Remove deprecated functions (#10867)
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 14 |
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; |