diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-12-08 21:24:59 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-12-17 21:13:45 -0600 |
| commit | e87f921a3611c8054c0253dc78bfbc3f50ca6e28 (patch) | |
| tree | 4614446ff1a170eb9f150e443b818ba47f3103df /src/reference_tree.mli | |
| parent | 7904df55c5ae18c8b00460e26f44c78b80defd5c (diff) | |
| download | vyos1x-config-e87f921a3611c8054c0253dc78bfbc3f50ca6e28.tar.gz vyos1x-config-e87f921a3611c8054c0253dc78bfbc3f50ca6e28.zip | |
T8061: require strict check of existence in refpath
For use in reference_path_exists, add strict check in the utility that
forms the reference path from a config path.
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index c2805ae..2bfcb68 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -109,7 +109,6 @@ val get_completion_data : t -> string list -> (node_type * bool * string) list [@@alert exn "Vytree.Nonexistent_path"] val refpath : t -> string list -> string list -[@@alert exn "Vytree.Nonexistent_path"] val set_tag_data : t -> Config_tree.t -> string list -> Config_tree.t [@@alert exn "Vytree.Empty_path"] |