Original bug ID: 6540
Reporter: drichman
Assigned to: @diml
Status: closed (set by @xavierleroy on 2016-12-07T10:34:41Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.0+beta1 / +rc1
Fixed in version: 4.02.1+dev
Category: documentation

Bug description

byterun/config.h

/* Default size of the minor zone. (words)  */
#define Minor_heap_def 262144

doesn't match stdlib/gc.mli

{ mutable minor_heap_size : int;
(** The size (in words) of the minor heap. Changing
this parameter will trigger a minor collection. Default: 32k. *)