diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2015-10-06 10:58:24 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2015-10-06 10:58:24 +0000 |
| commit | 1b219582a05c4b7cdf8dd7a0cd7ecebced7dd3ba (patch) | |
| tree | 826ce99a7f6ccfb040ac64b2cf351ac09e8f089a /boot | |
| parent | 62b89a3a5c641dd6341882f61a730104ae875b87 (diff) | |
| download | ocaml-1b219582a05c4b7cdf8dd7a0cd7ecebced7dd3ba.tar.gz | |
Replace uses of "float" by [@@unboxed] [@@noalloc]
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 1817635 -> 1817635 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 571050 -> 571050 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 259308 -> 259308 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex a72c254fcd..a23e858e37 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 1d06f2656b..d0bddd7c20 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 8bc0b18767..77c2f46118 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |