diff options
| author | Robert Norton | 2018-05-18 10:47:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-18 10:47:10 +0100 |
| commit | 760c6bca823dc4038f905e7c4a3d935fc0020f15 (patch) | |
| tree | 414f53950c2394c60192d4cfce383d694814080e /snapshots/hol4/lem/hol-lib/lem_stringScript.sml | |
| parent | b08f0e8538081d8efbbbd6431e739a0b83307678 (diff) | |
Avoid split_on_char function that was introduced in OCaml 4.04. Use Util version instead and make sure to install util and copy it to ocaml build directory.
Diffstat (limited to 'snapshots/hol4/lem/hol-lib/lem_stringScript.sml')
0 files changed, 0 insertions, 0 deletions