diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2017-11-24 18:32:35 +0100 |
|---|---|---|
| committer |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-11-25 14:18:33 +0100 |
| commit | e6c87412d70b71daaf417bd4b8e4ae6f1f28515b (patch) | |
| tree | 1280f464776fd2427e248f0b5844e237979a5adf /test-suite/bugs | |
| parent | 00860c1b2209159fb2b6780004c8c8ea16b3cb3a (diff) | |
Fix obligations handling of universes anticipating stronger restrict
Diffstat (limited to 'test-suite/bugs')
0 files changed, 0 insertions, 0 deletions