From da142cf79f44c163db9c290947b34860ac902832 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 28 May 2018 19:16:24 +0200
Subject: Fix w.r.t. coq/coq#7521.

---
 src/tac2core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 9a3aed3442..8d0ef675fe 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -502,7 +502,7 @@ let () = define3 "constr_in_context" ident constr closure begin fun id t c ->
     let sigma = Proofview.Goal.sigma gl in
     let has_var =
       try
-        let _ = Environ.lookup_named_val id (Environ.named_context_val env) in
+        let _ = Environ.lookup_named_val id env in
         true
       with Not_found -> false
     in
-- 
cgit v1.2.3