diff options
| author | Matthieu Sozeau | 2015-07-16 16:40:25 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-07-16 16:42:48 +0200 |
| commit | ebb53e68cdc935a85c4da10852be4f7f3b492ee2 (patch) | |
| tree | d2ce0abd3158e90aaf8076e13e57b436f4ea4b68 /kernel/nativecode.ml | |
| parent | 3bcc96d5ab6571a7810b68c340af7aa195ef76f4 (diff) | |
Modules: fix bug #4294
We were throwing away constraints from 'with Definition' in module
type ascriptions.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions