From c2eb7256ba433032a405944f45ad413d93312c07 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Thu, 14 Jun 2018 11:56:35 +0200
Subject: Fix deprecation warning introduced by PR 664 merge

---
 pretyping/cases.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/cases.ml b/pretyping/cases.ml
index 6e1d3e551..0dd3c5944 100644
--- a/pretyping/cases.ml
+++ b/pretyping/cases.ml
@@ -1427,7 +1427,7 @@ and match_current pb (initial,tomatch) =
 	  let case =
 	    make_case_or_project pb.env !(pb.evdref) indf ci pred current brvals
 	  in
-          let _ = Typing.e_type_of pb.env pb.evdref pred in
+          let _ = Evarutil.evd_comb1 (Typing.type_of pb.env) pb.evdref pred in
 	  Typing.check_allowed_sort pb.env !(pb.evdref) mind current pred;
 	  { uj_val = applist (case, inst);
 	    uj_type = prod_applist !(pb.evdref) typ inst }
-- 
cgit v1.2.3