diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/proofview.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/proofview.ml b/proofs/proofview.ml index 2c104ea181..f10843e7ae 100644 --- a/proofs/proofview.ml +++ b/proofs/proofview.ml @@ -857,7 +857,7 @@ module Goal = struct tclEVARMAP >>= fun sigma -> try let (gl, sigma) = Goal.eval enter_t env sigma goal in - tclTHEN (V82.tclEVARS sigma) ((Proof.set_local gl.env) (f gl)) + tclTHEN (V82.tclEVARS sigma) (f gl) with e when catchable_exception e -> let e = Errors.push e in tclZERO e |