diff options
| author | Guillaume Melquiond | 2020-08-31 08:52:05 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-10-08 11:16:48 +0200 |
| commit | e3764e1e857fce9b6d4cb018db676db3612c00a0 (patch) | |
| tree | 2972e326e1ec69b017c0789939d8faf481d01758 /kernel/vmsymtable.ml | |
| parent | ddd7371dc3b82124c2bb36b93e6c2b185bcc02d2 (diff) | |
Remove occurrences of Parray.reroot.
Diffstat (limited to 'kernel/vmsymtable.ml')
| -rw-r--r-- | kernel/vmsymtable.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/vmsymtable.ml b/kernel/vmsymtable.ml index 4ad830a298..9d80dc578b 100644 --- a/kernel/vmsymtable.ml +++ b/kernel/vmsymtable.ml @@ -69,7 +69,6 @@ let parray_get = set_global Vmvalues.parray_get let parray_get_default = set_global Vmvalues.parray_get_default let parray_set = set_global Vmvalues.parray_set let parray_copy = set_global Vmvalues.parray_copy -let parray_reroot = set_global Vmvalues.parray_reroot let parray_length = set_global Vmvalues.parray_length (* table pour les structured_constant et les annotations des switchs *) @@ -135,7 +134,6 @@ let slot_for_caml_prim = | Arraydefault -> parray_get_default | Arrayset -> parray_set | Arraycopy -> parray_copy - | Arrayreroot -> parray_reroot | Arraylength -> parray_length | _ -> assert false |