diff options
| author | Alasdair Armstrong | 2018-09-12 18:28:47 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-12 18:30:27 +0100 |
| commit | 3bbda62cb341cc7277fc8c70685ad7d9313e2412 (patch) | |
| tree | 6f88643f655adbf588801a4d2030b8d13b43d081 /aarch64 | |
| parent | 4d7e17a8c7b6a1c6b3cb4f020f9aafcf96c6e6b7 (diff) | |
Jenkins: Fix deprecation warnings
Now that Jenkins is updated to a newer version of OCaml we can finally
fix some warning with more recent versions of OCaml than 4.02.3. Also
fix a Lem test case that was failing.
Diffstat (limited to 'aarch64')
0 files changed, 0 insertions, 0 deletions