diff options
| author | Matthieu Sozeau | 2016-10-06 18:02:25 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-10-11 11:17:10 +0200 |
| commit | b247761476c4b36f0945c19c23c171ea57701178 (patch) | |
| tree | 95733168d350fd3c014c1eb7f7792c6bc3d431f4 /engine/ftactic.ml | |
| parent | 009718d9d0130a967261ae5d2484985522fc2f7c (diff) | |
Fix for bug #4863, update the Proofview's env with
side_effects. Partial solution to the handling of side effects
in proofview.
Diffstat (limited to 'engine/ftactic.ml')
0 files changed, 0 insertions, 0 deletions