diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2017-02-03 09:02:41 +0100 |
|---|---|---|
| committer | Matej Košík <matej.kosik@inria.fr> | 2017-04-20 13:11:50 +0200 |
| commit | bbec61be495db3de93fc17830405b6d80a271496 (patch) | |
| tree | db21a73c16a76e5a467de3c53f535996e241c5a4 /engine/proofview.ml | |
| parent | 4579e180f86923a455a5dc7edf0c1caafe583041 (diff) | |
"tclENV" is sexier, use it instead of "Env.get"
Diffstat (limited to 'engine/proofview.ml')
| -rw-r--r-- | engine/proofview.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/proofview.ml b/engine/proofview.ml index 1181d2bab..f054038e9 100644 --- a/engine/proofview.ml +++ b/engine/proofview.ml @@ -1040,7 +1040,7 @@ module Goal = struct let nf_enter f = InfoL.tag (Info.Dispatch) begin iter_goal begin fun goal -> - Env.get >>= fun env -> + tclENV >>= fun env -> tclEVARMAP >>= fun sigma -> try let (gl, sigma) = nf_gmake env sigma goal in |