diff options
| author | Brian Campbell | 2017-07-24 11:35:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-07-24 11:35:24 +0100 |
| commit | bfb9219fc5d6e6484f4bc1ff9068893cbcbddb9a (patch) | |
| tree | 2883cc6b3d7a10a542b27a8fc749ce57cac38bba /src/reporting_basic.ml | |
| parent | 5ffbb59e60078a7a359d78f78208f30cbdc47f4a (diff) | |
Remove monomorphisation for old type checker
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions