diff options
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util.ml b/src/util.ml index 8fc5899..8ac7963 100644 --- a/src/util.ml +++ b/src/util.ml @@ -107,8 +107,8 @@ let json_of_list ss = let list_of_path p = let seg = String.trim p |> String.split_on_char '\'' in match seg with - | [h] -> Pcre.split ~pat:"\\s+" h - | h :: h' :: _ -> (Pcre.split ~pat:"\\s+" h) @ [h'] + | [h] -> Pcre2.split ~pat:"\\s+" h + | h :: h' :: _ -> (Pcre2.split ~pat:"\\s+" h) @ [h'] | _ -> [] |