diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2016-02-26 16:15:06 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@gmail.com> | 2016-02-26 16:18:04 +0000 |
| commit | 5dced42768bde28df48c3169d6db7c3bfc3c0b63 (patch) | |
| tree | c28bfeac930eff9473b753f18f5250c6b96f396e /boot | |
| parent | 8abcf62783b7cb4ab5db9fe90809021c6dba415f (diff) | |
| download | ocaml-5dced42768bde28df48c3169d6db7c3bfc3c0b63.tar.gz | |
Merge pull request #480 from mshinwell/flambda_unbox-closures
GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 2038994 -> 2056154 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 679567 -> 691012 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 265609 -> 266399 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 6c42a425e4..9dfb405b86 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 06793c6f79..38a4dbf043 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex e69657ffa0..b1e0e3483a 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |