diff options
| author | Matthieu Sozeau | 2015-11-20 20:17:35 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-11-20 20:19:16 +0100 |
| commit | 2b47c0d1b492424c39477f9d4ec262e4d093be92 (patch) | |
| tree | f9f3ed181d7aae75b5fc57d853b6a725c3d63645 /kernel | |
| parent | 574e510ba069f1747ecb1e5a17cf86c902d79d44 (diff) | |
Univs: fix type_of_global_in_context not returning instantiated universe contexts.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions