diff options
| author | Thomas Bauereiss | 2018-03-14 12:51:36 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-14 12:51:36 +0000 |
| commit | f6a4f60afcb3aa7efb740002684014877ef25d14 (patch) | |
| tree | ce298394925af9ab5df57902ca38a0db26fb332e /test/mono/test_extra.lem | |
| parent | f9b81e15c97014425a9a958492ebf4fd92d8a8bc (diff) | |
Fix compilation for OCaml 4.02
find_opt is only available from OCaml 4.05
Diffstat (limited to 'test/mono/test_extra.lem')
0 files changed, 0 insertions, 0 deletions