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 /lib | |
| 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 'lib')
| -rw-r--r-- | lib/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/main.ml b/lib/main.ml index 1e9943a7..7dfe11fa 100644 --- a/lib/main.ml +++ b/lib/main.ml @@ -57,7 +57,7 @@ let opt_raw_addr = ref Nat_big_num.zero let options = Arg.align [ ( "-raw", Arg.String (fun s -> - let l = String.split_on_char '@' s in + let l = Util.split_on_char '@' s in match l with | [fname;addr] -> begin opt_raw_fname := fname; |
