diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-09-24 15:20:15 +0200 |
|---|---|---|
| committer |  Matthieu Sozeau <mattam@mattam.org> | 2015-10-02 15:54:11 +0200 |
| commit | 8abdf84ad8cd82b7ea0e0b2adb97255b2f70fbb8 (patch) | |
| tree | 889a458d0a1df4c07bbf077a44b6d0579a679b30 /test-suite/failure | |
| parent | 6902d2bcb2840619d4c6f41a0d30948daa877b0c (diff) | |
Univs: correcly compute the levels of records when they fall in Prop.
Diffstat (limited to 'test-suite/failure')
0 files changed, 0 insertions, 0 deletions