summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorRobert Norton2018-05-18 10:47:10 +0100
committerRobert Norton2018-05-18 10:47:10 +0100
commit760c6bca823dc4038f905e7c4a3d935fc0020f15 (patch)
tree414f53950c2394c60192d4cfce383d694814080e /lib
parentb08f0e8538081d8efbbbd6431e739a0b83307678 (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.ml2
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;