diff options
| author | Matthieu Sozeau | 2015-05-05 13:21:04 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-05-05 13:21:52 +0200 |
| commit | 8d3fd3aa8029fa7c5acb3118846cf18ffe752b9c (patch) | |
| tree | fff1b2d76761c04bf13253dd283f89af9a7f2cf4 /plugins/pluginsbyte.itarget | |
| parent | e4ca462b7d51f25b258263345835025c1c4325bd (diff) | |
Fix bug #4212, congruence forgetting about some universe constraints.
Diffstat (limited to 'plugins/pluginsbyte.itarget')
0 files changed, 0 insertions, 0 deletions