diff options
author | 2017-11-16 15:51:56 +0100 | |
---|---|---|
committer | 2017-11-16 15:51:56 +0100 | |
commit | e1afded58ee3162d98f29c97a6e432a5526a731b (patch) | |
tree | fb967b540c7584ecb4971cfaf977b24a05cd6f65 /plugins/extraction/ExtrOcamlString.v | |
parent | a2b02cb9142984b912bf01cea09449d767326f19 (diff) | |
parent | 3a5abd404674900397e0b3a4d050e0fb12829406 (diff) |
Merge PR #6023: Use GHC.Base.Any for compatibility with GHC 8.2
Diffstat (limited to 'plugins/extraction/ExtrOcamlString.v')
0 files changed, 0 insertions, 0 deletions