diff options
| author | Alasdair Armstrong | 2017-07-05 17:42:06 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-05 17:42:06 +0100 |
| commit | cd3f299735d11241f064e9832c177830b78dcca4 (patch) | |
| tree | 68371a087d7700c3d63834c3cc39e1c3ff970fc3 /src/initial_check.mli | |
| parent | 5f46cb01ed07fbca390535440f77f1816cb61684 (diff) | |
Added split_on_char as a utility function in Util.ml, and replaced usage in sail.ml
Current REMS install script and Jenkins CI server is on an older ocaml
which doesn't have this function in String.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions