1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index 5f4f414a4..a382e9873 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -1039,7 +1039,6 @@ module Goal = struct
     end
 
   let goals =
-    Env.get >>= fun env ->
     Pv.get >>= fun step ->
     let sigma = step.solution in
     let map goal =
@@ -1047,6 +1046,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