diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-16 15:51:56 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-16 15:51:56 +0100 |
| commit | e1afded58ee3162d98f29c97a6e432a5526a731b (patch) | |
| tree | fb967b540c7584ecb4971cfaf977b24a05cd6f65 /proofs/redexpr.ml | |
| parent | a2b02cb9142984b912bf01cea09449d767326f19 (diff) | |
| parent | 3a5abd404674900397e0b3a4d050e0fb12829406 (diff) | |
Merge PR #6023: Use GHC.Base.Any for compatibility with GHC 8.2
Diffstat (limited to 'proofs/redexpr.ml')
0 files changed, 0 insertions, 0 deletions