diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-24 19:53:38 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-28 16:52:44 +0200 |
| commit | f54cbf01ad2aab14eed671e02b98f6962b05a38d (patch) | |
| tree | db740580dbb1d6b420ccf701406e230eae084192 /engine/evd.ml | |
| parent | a76730b8479b9036e814cc3ff5e7f32d46fc942c (diff) | |
Fix nf_evars_universes_opt_subst: recurse on univs, nf undef evars
Diffstat (limited to 'engine/evd.ml')
0 files changed, 0 insertions, 0 deletions