diff options
| author | Alasdair Armstrong | 2019-02-18 19:12:17 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-18 19:12:17 +0000 |
| commit | 66e6585b9696ffc91a8609e5d52bfe6d5adff1b6 (patch) | |
| tree | 10e1f73735d8b8500dd24539021e203d54e091d5 /src/scattered.ml | |
| parent | 9de3f45de277d8a8f264a425d9121fe91ad80345 (diff) | |
Rename Type_check.solve -> Type_check.solve_unique
Diffstat (limited to 'src/scattered.ml')
0 files changed, 0 insertions, 0 deletions