diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-11-20 07:51:29 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-20 07:51:29 -0600 |
| commit | 5f1d834561ce9463ce1900fef7a2614418a412bc (patch) | |
| tree | 0cdc19d7264ae9120e278cffb88e77050dc183b2 /src/reference_tree.ml | |
| parent | 6e2a6efc5de6c2e395df377fcd273231ad8ed683 (diff) | |
| parent | 411c132a6158e62064b23ef4bbcc0c939cdcdaba (diff) | |
| download | vyos1x-config-5f1d834561ce9463ce1900fef7a2614418a412bc.tar.gz vyos1x-config-5f1d834561ce9463ce1900fef7a2614418a412bc.zip | |
Merge pull request #56 from jestabro/show-config
T7988: calculation for config-mode 'show' command
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: |