diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-10-21 11:07:48 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-10-21 12:15:45 +0200 |
| commit | be0121602ff9fb3200cafead25e325617164038a (patch) | |
| tree | 34f5363c83df0ff7c852e4e619038187a3408948 /test-suite/bugs/opened | |
| parent | da462f8a2b59a3d5ddd9f09add8a75f8e2624c9a (diff) | |
Continuing experimental printing of the signature of open evars in
Check (see cfff8f8a327) [printing only visible evars, not the ones
corresponding to unrelated open goals + fixing bug on wrong sigma and
on evar_info normalization].
Diffstat (limited to 'test-suite/bugs/opened')
0 files changed, 0 insertions, 0 deletions