From cea3d7c83bf3aae18262e62b897ec204c098e444 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 1 Sep 2017 16:14:03 +0200
Subject: Remove unused env argument to fresh_sort_in_family

(Universes and Evd)
---
 pretyping/typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/typing.ml')

diff --git a/pretyping/typing.ml b/pretyping/typing.ml
index a66ecaaac3..ca2702d741 100644
--- a/pretyping/typing.ml
+++ b/pretyping/typing.ml
@@ -138,7 +138,7 @@ let is_correct_arity env sigma c pj ind specif params =
         then error ()
         else sigma
     | Evar (ev,_), [] ->
-        let sigma, s = Evd.fresh_sort_in_family env sigma (max_sort allowed_sorts) in
+        let sigma, s = Evd.fresh_sort_in_family sigma (max_sort allowed_sorts) in
         let sigma = Evd.define ev (mkSort s) sigma in
         sigma
     | _, (LocalDef _ as d)::ar' ->
-- 
cgit v1.2.3