diff options
| author | Matthieu Sozeau | 2015-04-09 17:10:27 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-04-09 17:10:27 +0200 |
| commit | b322c6131ab45be2d65ab2f6fcbcde7588314260 (patch) | |
| tree | 94af60bca9751415bdb29e12d17e4f4913dac0d8 /plugins | |
| parent | fd19fbb3720f1f1d930dcd082ddcd021cb6e8b50 (diff) | |
Strengthen minimization: it shouldn't set a universe u to a max if it
has a strict upper bound.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions