diff options
| author | Matthieu Sozeau | 2016-03-25 01:42:38 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-03-25 01:43:59 +0100 |
| commit | 25c6356326773ac56380b81de6f58d15caae8680 (patch) | |
| tree | 31bc5b3341bd8addc930aea23e67f2f3c6791377 /kernel/nativecode.mli | |
| parent | a6d6bca5f024cbdc35924c2cb5e399eb8a2d9c16 (diff) | |
Fix a bug in Program coercion code
It was not accounting for the universe constraints generated by
applications of the coercion.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions