diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-03-31 16:17:37 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-03-31 16:17:37 +0000 |
| commit | ce4c5fad1de201f08679bcb53baf6456a1fda47a (patch) | |
| tree | 477b6c816ef8bc3c7cb9d7e776a41da9edabb2c5 /boot | |
| parent | 29141f0f060ea4221ca954abf23c7cb8795f5b78 (diff) | |
| download | ocaml-ce4c5fad1de201f08679bcb53baf6456a1fda47a.tar.gz | |
Rvert parts of the original commit which are not relevant with the encoding approach.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 1531940 -> 1529687 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 420724 -> 420724 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 184001 -> 184001 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 84aad25de5..4d9294afa0 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex f14b486eb0..29518bde80 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex adcfea001a..5372829c55 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |