diff options
| author | Pierre-Marie Pédrot | 2018-10-23 11:37:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-23 11:37:14 +0200 |
| commit | 0a972b941c75bb5e4bde02892e3488c0565a0e39 (patch) | |
| tree | 0bbdf930c4352912e45fdc8b6a37e2c8450ec4b0 /kernel/nativelib.ml | |
| parent | 51caaa2b928e9a91906439f1491b78df9da27760 (diff) | |
| parent | 6b12872089170af9a7e90feb06d8f8b4b3dcd680 (diff) | |
Merge PR #8786: Adding a regression test for bug #8785: universe constraints missing
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions