diff options
| author | Tej Chajed | 2017-10-25 16:05:39 -0400 |
|---|---|---|
| committer | Tej Chajed | 2017-10-25 16:05:39 -0400 |
| commit | 3a5abd404674900397e0b3a4d050e0fb12829406 (patch) | |
| tree | 589e936d471dcd573413f5e5beb62a6cb3c91c28 /API/API.mli | |
| parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) | |
Use GHC.Base.Any for compatibility with GHC 8.2
Fixes #6022.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions