diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2018-04-06 15:22:24 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2018-04-06 16:09:53 +0200 |
commit | d42422a0cfb2d0daf8d8070eb19a699e12b858dd (patch) | |
tree | c48f6c31252061b0861d3205d4b692dc7a7504ab /boot | |
parent | 4d5852d3f94ab0f602bf8cf1737f6bec8aab1a2c (diff) | |
download | ocaml-d42422a0cfb2d0daf8d8070eb19a699e12b858dd.tar.gz |
Revert "Continuation of GPR#1580 (022051e7bd491a2da21ca458f178ee2ff46d5fed): bootstrap to remove Lambda.Const_pointer"
This reverts commit b4fa820b7836e39e3d6850103bce855a40f6d2c9.
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 2285786 -> 2272680 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 9ea96cac5f..cc85fb41ba 100755 --- a/boot/ocamlc +++ b/boot/ocamlc |