From ff74451389c13828c644157c960c0d314b389b95 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 19 Sep 2018 16:58:36 +0200
Subject: [ssr] use the right environment in ssrpattern (fix #8454)

---
 plugins/ssrmatching/ssrmatching.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/ssrmatching/ssrmatching.ml b/plugins/ssrmatching/ssrmatching.ml
index 20ea8b3667..aadb4fe5f6 100644
--- a/plugins/ssrmatching/ssrmatching.ml
+++ b/plugins/ssrmatching/ssrmatching.ml
@@ -1366,7 +1366,7 @@ let ssrpatterntac _ist arg gl =
   let concl0 = pf_concl gl in
   let concl0 = EConstr.Unsafe.to_constr concl0 in
   let (t, uc), concl_x =
-    fill_occ_pattern (Global.env()) sigma0 concl0 pat noindex 1 in
+    fill_occ_pattern (pf_env gl) sigma0 concl0 pat noindex 1 in
   let t = EConstr.of_constr t in
   let concl_x = EConstr.of_constr concl_x in
   let gl, tty = pf_type_of gl t in
-- 
cgit v1.2.3