diff options
| author | Gaëtan Gilbert | 2018-11-13 16:25:23 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-16 15:09:52 +0100 |
| commit | 3d49ce63bd1aa35ef2e8abc9cc359ad6031c21bb (patch) | |
| tree | c3750e4aae2d3c0b14879090e001b6cbc1b8c769 /kernel | |
| parent | 744a07e53fb99652b2b30520cfe3dfe701bbde18 (diff) | |
Print universe names in subtyping error instead of Var(x).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions