diff options
Diffstat (limited to 'stdlib/gc.ml')
| -rw-r--r-- | stdlib/gc.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index c50dbaef4..b2d89cce5 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -45,6 +45,7 @@ external counters : unit -> (float * float * float) = "gc_counters";; external get : unit -> control = "gc_get";; external set : control -> unit = "gc_set";; external minor : unit -> unit = "gc_minor";; +external major_slice : int -> int = "gc_major_slice";; external major : unit -> unit = "gc_major";; external full_major : unit -> unit = "gc_full_major";; external compact : unit -> unit = "gc_compaction";; |