diff options
| author | Maxime Dénès | 2015-07-16 19:21:35 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-07-16 19:21:35 +0200 |
| commit | e4aa8f13680a81ec7e2ebe1281b20d5791d13440 (patch) | |
| tree | e18d74166cfb4978ba3af86ae96be135b526efeb /kernel | |
| parent | ebb53e68cdc935a85c4da10852be4f7f3b492ee2 (diff) | |
Fix universe instantiation with canonical structures.
Patch by Matthieu Sozeau.
Fixes #3819: "Error: Unsatisfied constraints" due to canonical
structure inference
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions