diff options
| author | Alasdair Armstrong | 2018-05-31 18:42:27 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-31 18:42:27 +0100 |
| commit | 8745f6b56fe3c523a8730baed1fc1f7cc54b377b (patch) | |
| tree | 22db6ce8f634e5fec8635a7139286b0df096862c /language/bytecode.ott | |
| parent | 6a360137340c86006b4f3a7c6564717299cb1761 (diff) | |
Fix for Jenkins build
Looks like Jenkins is still on OCaml 4.02.3. We should probably upgrade to 4.05 at some point.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions