diff options
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; |
