From 8a179389fe5199e79d05b2c72ff2aae2061820aa Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 17 Feb 2016 18:53:45 +0100
Subject: Fixing the Proofview.Goal.goal function.

The environment put in the goals was not the right one and could lead to
various leaks.
---
 proofs/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index 49228c93ac..6d7dcb9257 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -1000,7 +1000,6 @@ module Goal = struct
     end
 
   let goals =
-    Env.get >>= fun env ->
     Pv.get >>= fun step ->
     let sigma = step.solution in
     let map goal =
@@ -1008,6 +1007,7 @@ module Goal = struct
       | None -> None (** ppedrot: Is this check really necessary? *)
       | Some goal ->
         let gl =
+          Env.get >>= fun env ->
           tclEVARMAP >>= fun sigma ->
           tclUNIT (gmake env sigma goal)
         in
-- 
cgit v1.2.3