From 079d64f48c2a6017d01132f3409e36ed4182e206 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 16 Dec 2016 12:56:34 +0000 Subject: [PATCH] 114.20+69 --- src/meta.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/meta.ml b/src/meta.ml index 22b9d1a8..ea83994d 100644 --- a/src/meta.ml +++ b/src/meta.ml @@ -190,6 +190,7 @@ let builtins = } in let str = simple "str" [] ~dir:"+" in + let unix = simple "unix" [] ~dir:"+" in let bigarray = simple "bigarray" ["unix"] ~dir:"+" in let threads = { name = "threads" @@ -215,7 +216,7 @@ let builtins = ] } in - List.map [ compiler_libs; str; bigarray; threads; num ] ~f:(fun t -> t.name, t) + List.map [ compiler_libs; str; unix; bigarray; threads; num ] ~f:(fun t -> t.name, t) |> String_map.of_alist_exn let string_of_action = function