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/vmemitcodes.ml | |
| parent | ddd7371dc3b82124c2bb36b93e6c2b185bcc02d2 (diff) | |
Remove occurrences of Parray.reroot.
Diffstat (limited to 'kernel/vmemitcodes.ml')
| -rw-r--r-- | kernel/vmemitcodes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vmemitcodes.ml b/kernel/vmemitcodes.ml index f913cb906c..ec8601edc9 100644 --- a/kernel/vmemitcodes.ml +++ b/kernel/vmemitcodes.ml @@ -262,7 +262,7 @@ let check_prim_op = function | Arraymake -> opISINT_CAML_CALL2 | Arrayget -> opISARRAY_INT_CAML_CALL2 | Arrayset -> opISARRAY_INT_CAML_CALL3 - | Arraydefault | Arraycopy | Arrayreroot | Arraylength -> + | Arraydefault | Arraycopy | Arraylength -> opISARRAY_CAML_CALL1 let emit_instr env = function |