From 8baf4746c931c29a04a3c7eced71743ad3e608bf Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 4 Sep 2017 15:14:47 +0200
Subject: Evarutil.(e_)new_Type: remove unused env argument

---
 engine/evarutil.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine/evarutil.mli')

diff --git a/engine/evarutil.mli b/engine/evarutil.mli
index 135aa73fcd..0ad323ac4b 100644
--- a/engine/evarutil.mli
+++ b/engine/evarutil.mli
@@ -63,7 +63,7 @@ val new_type_evar :
   env -> evar_map -> rigid ->
   evar_map * (constr * Sorts.t)
 
-val new_Type : ?rigid:rigid -> env -> evar_map -> evar_map * constr
+val new_Type : ?rigid:rigid -> evar_map -> evar_map * constr
 
 (** Polymorphic constants *)
 
@@ -287,7 +287,7 @@ val e_new_type_evar : env -> evar_map ref ->
   ?principal:bool -> ?hypnaming:naming_mode -> rigid -> constr * Sorts.t
 [@@ocaml.deprecated "Use [Evarutil.new_type_evar]"]
 
-val e_new_Type : ?rigid:rigid -> env -> evar_map ref -> constr
+val e_new_Type : ?rigid:rigid -> evar_map ref -> constr
 [@@ocaml.deprecated "Use [Evarutil.new_Type]"]
 
 val e_new_global : evar_map ref -> GlobRef.t -> constr
-- 
cgit v1.2.3