From a8bf1cab3f21de4a350737ef5c933af1746f54a1 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 14 Sep 2018 17:42:54 +0200
Subject: OCaml now exports the min and max non-constant tags, let's use it

---
 kernel/vmvalues.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/vmvalues.mli')

diff --git a/kernel/vmvalues.mli b/kernel/vmvalues.mli
index c7540ae249..ae1d416ed5 100644
--- a/kernel/vmvalues.mli
+++ b/kernel/vmvalues.mli
@@ -38,8 +38,6 @@ val switch_tag : tag
 val cofix_tag : tag
 val cofix_evaluated_tag : tag
 
-val last_variant_tag : tag
-
 type structured_constant =
   | Const_sort of Sorts.t
   | Const_ind of inductive
-- 
cgit v1.2.3