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/parray.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/parray.mli')

diff --git a/kernel/parray.mli b/kernel/parray.mli
index 0276278bd0..8b6565c159 100644
--- a/kernel/parray.mli
+++ b/kernel/parray.mli
@@ -19,7 +19,6 @@ val default : 'a t -> 'a
 val make    : Uint63.t -> 'a -> 'a t
 val init    : Uint63.t -> (int -> 'a) -> 'a -> 'a t
 val copy    : 'a t -> 'a t
-val reroot  : 'a t -> 'a t
 
 val map : ('a -> 'b) -> 'a t -> 'b t
 
-- 
cgit v1.2.3