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

(limited to 'kernel/vmvalues.mli')

diff --git a/kernel/vmvalues.mli b/kernel/vmvalues.mli
index 6632dc46b2..d15595766a 100644
--- a/kernel/vmvalues.mli
+++ b/kernel/vmvalues.mli
@@ -204,5 +204,4 @@ val parray_get : values
 val parray_get_default : values
 val parray_set : values
 val parray_copy : values
-val parray_reroot : values
 val parray_length : values
-- 
cgit v1.2.3