diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2021-12-14 17:49:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-14 17:49:56 +0100 |
commit | 7a0e1d2c7631764ce49081a9f204b55884214e2b (patch) | |
tree | 46401854fa93686a5786d51b001ca42970885c58 /boot | |
parent | bf777c514f700154a7e08a584a19d0b79bc8d999 (diff) | |
parent | 029aad6d56fc5e56248921a45036db8839610d53 (diff) | |
download | ocaml-7a0e1d2c7631764ce49081a9f204b55884214e2b.tar.gz |
Merge pull request #10820 from Octachron/fix-10781
Fix 10781 bis: update overriden method privacy
Diffstat (limited to 'boot')
-rwxr-xr-x | boot/ocamlc | bin | 2994177 -> 2994874 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex ca8aa90d3c..b65bd9a15c 100755 --- a/boot/ocamlc +++ b/boot/ocamlc |