From 5dced42768bde28df48c3169d6db7c3bfc3c0b63 Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Fri, 26 Feb 2016 16:15:06 +0000 Subject: Merge pull request #480 from mshinwell/flambda_unbox-closures GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably --- boot/ocamlc | Bin 2038994 -> 2056154 bytes boot/ocamldep | Bin 679567 -> 691012 bytes boot/ocamllex | Bin 265609 -> 266399 bytes 3 files changed, 0 insertions(+), 0 deletions(-) (limited to 'boot') diff --git a/boot/ocamlc b/boot/ocamlc index 6c42a425e4..9dfb405b86 100755 Binary files a/boot/ocamlc and b/boot/ocamlc differ diff --git a/boot/ocamldep b/boot/ocamldep index 06793c6f79..38a4dbf043 100755 Binary files a/boot/ocamldep and b/boot/ocamldep differ diff --git a/boot/ocamllex b/boot/ocamllex index e69657ffa0..b1e0e3483a 100755 Binary files a/boot/ocamllex and b/boot/ocamllex differ -- cgit v1.2.1