From 834c64015b608b8152e160d37e6f07a3106ff26b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 4 Jul 2020 20:02:42 +0200
Subject: Remove Evarutil.new_evar_instance from the API.

---
 plugins/ssr/ssrcommon.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'plugins')

diff --git a/plugins/ssr/ssrcommon.ml b/plugins/ssr/ssrcommon.ml
index 5f463f8de4..65204b7868 100644
--- a/plugins/ssr/ssrcommon.ml
+++ b/plugins/ssr/ssrcommon.ml
@@ -1351,9 +1351,8 @@ let unsafe_intro env decl b =
     let inst = List.map (get_id %> EConstr.mkVar) (Environ.named_context env) in
     let ninst = EConstr.mkRel 1 :: inst in
     let nb = EConstr.Vars.subst1 (EConstr.mkVar (get_id decl)) b in
-    let sigma, ev =
-      Evarutil.new_evar_instance nctx sigma nb ~principal:true ninst in
-    sigma, EConstr.mkNamedLambda_or_LetIn decl ev
+    let sigma, ev = Evarutil.new_pure_evar ~principal:true nctx sigma nb in
+    sigma, EConstr.mkNamedLambda_or_LetIn decl (EConstr.mkEvar (ev, ninst))
   end
 
 let set_decl_id id = let open Context in function
-- 
cgit v1.2.3