From 4552729b88058946055dddde1533057e25bfc5a9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Wed, 16 May 2018 00:06:51 +0200
Subject: Unify pre_env and env

We now have only two notions of environments in the kernel: env and
safe_env.
---
 plugins/ltac/evar_tactics.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/ltac')

diff --git a/plugins/ltac/evar_tactics.ml b/plugins/ltac/evar_tactics.ml
index fb6be430f..5463893ad 100644
--- a/plugins/ltac/evar_tactics.ml
+++ b/plugins/ltac/evar_tactics.ml
@@ -52,7 +52,7 @@ let instantiate_tac n c ido =
     match ido with
 	ConclLocation () -> evar_list sigma (pf_concl gl)
       | HypLocation (id,hloc) ->
-	  let decl = Environ.lookup_named_val id (Goal.V82.hyps sigma (sig_it gl)) in
+          let decl = Environ.lookup_named id (pf_env gl) in
 	    match hloc with
 		InHyp ->
 		  (match decl with
-- 
cgit v1.2.3