diff options
| author | Daniil Baturin <daniil@baturin.org> | 2025-05-13 13:27:35 +0100 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2025-05-13 13:27:35 +0100 |
| commit | 8835a91e8383319a6bb98de9fd400b4eb7883eb5 (patch) | |
| tree | 472544129bde5b05887b5626e41aae91416244d1 /src/util.ml | |
| parent | 106be9f37dc69ff7f5e036550aff11dd96aa147e (diff) | |
| download | vyos1x-config-8835a91e8383319a6bb98de9fd400b4eb7883eb5.tar.gz vyos1x-config-8835a91e8383319a6bb98de9fd400b4eb7883eb5.zip | |
deps: T7450: use PCRE2 instead of the original, outdated PCRE
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'] | _ -> [] |