summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-06 21:38:20 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-06 21:38:22 +0100
commit5047b8e8d990d3d49943b48a311ac8e14b439523 (patch)
tree9e5fd24b90199d8ef97208b92ae8b7df51b377b8 /sid.mli
parentec08b71fb47b82402f0fbb8859a2445519f79615 (diff)
downloadocaml-sid-5047b8e8d990d3d49943b48a311ac8e14b439523.tar.gz
opam: raise minimum compiler version to 4.03
Apparently, the “result” type was not introduced until after the 4.02 series. Suggested-By: @kit-ty-kate on github
Diffstat (limited to 'sid.mli')
0 files changed, 0 insertions, 0 deletions