diff options
| -rw-r--r-- | src/commit.ml | 4 | ||||
| -rw-r--r-- | vyconf.opam | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/commit.ml b/src/commit.ml index 19c9844..0d675d8 100644 --- a/src/commit.ml +++ b/src/commit.ml @@ -85,12 +85,12 @@ end module CS = Set.Make(CI) let owner_args_from_data p o = - let oa = Pcre.split o in + let oa = Pcre2.split o in let owner = FilePath.basename (List.nth oa 0) in if List.length oa < 2 then owner, None else let var = List.nth oa 1 in - let res = Pcre.extract_all ~pat:"\\.\\./" var in + let res = Pcre2.extract_all ~pat:"\\.\\./" var in let var_pos = Array.length res in let arg_value = Vyos1x.Util.get_last_n p var_pos in owner, arg_value diff --git a/vyconf.opam b/vyconf.opam index 2ae8127..1c338d3 100644 --- a/vyconf.opam +++ b/vyconf.opam @@ -28,6 +28,6 @@ depends: [ "xml-light" {build} "toml" {build} "sha" {build} - "pcre" {build} + "pcre2" {build} "toml" {build} ] |