From e3764e1e857fce9b6d4cb018db676db3612c00a0 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 31 Aug 2020 08:52:05 +0200
Subject: Remove occurrences of Parray.reroot.

---
 kernel/vmbytegen.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/vmbytegen.ml')

diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml
index 375b1aface..16a0f42664 100644
--- a/kernel/vmbytegen.ml
+++ b/kernel/vmbytegen.ml
@@ -508,7 +508,6 @@ let is_caml_prim = let open CPrimitives in function
   | Arraydefault
   | Arrayset
   | Arraycopy
-  | Arrayreroot
   | Arraylength -> true
   | _ -> false
 
-- 
cgit v1.2.3