diff options
| author | Matthieu Sozeau | 2017-11-24 18:32:35 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-11-25 14:18:33 +0100 |
| commit | e6c87412d70b71daaf417bd4b8e4ae6f1f28515b (patch) | |
| tree | 1280f464776fd2427e248f0b5844e237979a5adf /engine/univops.ml | |
| parent | 00860c1b2209159fb2b6780004c8c8ea16b3cb3a (diff) | |
Fix obligations handling of universes anticipating stronger restrict
Diffstat (limited to 'engine/univops.ml')
0 files changed, 0 insertions, 0 deletions