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/nativevalues.ml | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'kernel/nativevalues.ml')

diff --git a/kernel/nativevalues.ml b/kernel/nativevalues.ml
index 9e17f97a56..05c98e4b87 100644
--- a/kernel/nativevalues.ml
+++ b/kernel/nativevalues.ml
@@ -739,15 +739,6 @@ let arraycopy accu vA t =
     no_check_arraycopy t
   else accu vA t
 
-let no_check_arrayreroot t =
-  of_parray (Parray.reroot (to_parray t))
-[@@ocaml.inline always]
-
-let arrayreroot accu vA t =
-  if is_parray t then
-    no_check_arrayreroot t
-  else accu vA t
-
 let no_check_arraylength t =
   mk_uint (Parray.length (to_parray t))
 [@@ocaml.inline always]
-- 
cgit v1.2.3