diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-12-22 22:31:17 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-12-22 22:33:22 +0100 |
| commit | 50c7e47da5e9eac9228ff0e2feeb283fcfebe1bc (patch) | |
| tree | 65b3a36a97f66ef3c680872d890d75fa3c589651 /engine/proofview.ml | |
| parent | f5575393258492837d3764d07f8290b576f61160 (diff) | |
Fixing #5277 (Scheme Equality not robust wrt choice of names).
This is only a quick fix, as hinted by Jason.
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions