Merge commit 'e866ba3f6891a18ede3235f125babd5f7fd6d03a' into parallel_minor_gc_4_07_take2

1 files changed, 3 insertions, 0 deletions

diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
index 4407f8bbbe..8fd42fd4bc 100644
--- a/stdlib/stdlib.mli
+++ b/stdlib/stdlib.mli
@@ -1265,6 +1265,7 @@ module Arg          = Arg
 module Array        = Array
 module ArrayLabels  = ArrayLabels
 module Atomic       = Atomic
+module Bigarray     = Bigarray
 module Buffer       = Buffer
 module Bytes        = Bytes
 module BytesLabels  = BytesLabels
@@ -1275,6 +1276,7 @@ module Digest       = Digest
 module Domain       = Domain
 module Ephemeron    = Ephemeron
 module Filename     = Filename
+module Float        = Float
 module Format       = Format
 module Gc           = Gc
 module Genlex       = Genlex
@@ -1297,6 +1299,7 @@ module Printf       = Printf
 module Queue        = Queue
 module Random       = Random
 module Scanf        = Scanf
+module Seq          = Seq
 module Set          = Set
 module Sort         = Sort
 module Spacetime    = Spacetime