diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2021-04-19 13:10:54 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-19 13:10:54 +0900 |
| commit | eed1110e6aece8713605806bee7066ea07e2c0ca (patch) | |
| tree | 9a1785018c3cf0056fbb4b7421daef2bc0f83f87 /boot | |
| parent | 77115193cc3ff3855c7550db48f284572c619044 (diff) | |
| download | ocaml-eed1110e6aece8713605806bee7066ea07e2c0ca.tar.gz | |
make update_scope recursive while keeping trace_gadt_instances (#10277)
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 2802041 -> 2866976 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 346129 -> 348528 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex faf1772a61..6ac56b8502 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex ef1a24218a..c978f2430f 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |