summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
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;