diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-27 17:21:35 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-27 17:23:05 +0100 |
| commit | a0e72610a71e086da392c8563c2eec2e35211afa (patch) | |
| tree | 76986613697d29c4970307037a737dbf172f7643 /kernel/univ.ml | |
| parent | 8297baa98147f78263126b1bd6cf41b0456f177d (diff) | |
Avoid recording spurious Set <= Top.i constraints which are always
valid (when Top.i is global and hence > Set).
Diffstat (limited to 'kernel/univ.ml')
0 files changed, 0 insertions, 0 deletions