From 9b5ceabc9b62cdf9b806bb4abdff73642113e12e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 9 Oct 2018 20:47:46 +0200
Subject: Deprecating Global.type_of_global_in_context.

Removing a few Global.env in the way.
---
 pretyping/classops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/classops.ml')

diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index b026397abf..543eea59c1 100644
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -380,7 +380,7 @@ type coercion = {
 (* Computation of the class arity *)
 
 let reference_arity_length ref =
-  let t, _ = Global.type_of_global_in_context (Global.env ()) ref in
+  let t, _ = Typeops.type_of_global_in_context (Global.env ()) ref in
   List.length (fst (Reductionops.splay_arity (Global.env()) Evd.empty (EConstr.of_constr t))) (** FIXME *)
 
 let projection_arity_length p =
-- 
cgit v1.2.3