diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-11-10 11:28:16 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-11-11 10:51:45 -0600 |
| commit | 3977073509a33d872bdb22d9a07c5e52ff90463b (patch) | |
| tree | e07a8e6f75fc8d4af38f749981e00b213311cd62 /src/reference_tree.ml | |
| parent | 8be22d73e9805c57ea0875b81f17490bf855977f (diff) | |
| download | vyos1x-config-3977073509a33d872bdb22d9a07c5e52ff90463b.tar.gz vyos1x-config-3977073509a33d872bdb22d9a07c5e52ff90463b.zip | |
T7988: move function flag to util.ml for general use
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 5107eb8..5df3e99 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -607,13 +607,6 @@ let refpath reftree path = | _, [] -> acc in aux [] path -let flag path = - let len = List.length path in - let aux p i = - Util.drop_last_n p (len - i - 1) - in - List.mapi (fun k _ -> aux path k) path - let set_tag_data rtree ctree path = (* raises: [Vytree.Empty_path], @@ -634,7 +627,7 @@ let set_tag_data rtree ctree path = then (Config_tree.set_tag[@alert "-exn"]) ct p true else ct in - List.fold_left (set_tag rtree) ctree (flag path) + List.fold_left (set_tag rtree) ctree (Util.flag path) let set_leaf_data rtree ctree path = (* raises: |